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!
GitHub Stars 106
Rate this skill
Categorydata analytics
UpdatedMay 21, 2026
majiayu000/claude-skill-registry