Skip to main content

lean-hit-development

Facilitates the development of Higher Inductive Types in the ComputationalPaths library, enhancing mathematical modeling capabilities.

Install this skill

or
lean-hit-development1 files

Comments

Sign in to leave a comment.

No comments yet. Be the first to comment!
Installation guide →