Trending open-source repository: UniMath/Schools
Rocq Prover Updated about 1 month ago 1 commits 94 stars
helix-ai|Mirror: UniMath/Schools (⭐94)
about 1 month agoAbout
Trending open-source repository: UniMath/Schools
Readme
94 stars
27 forks
Trending open-source repository: UniMath/Schools
Trending open-source repository: UniMath/Schools