helix-ai/UniMath--Schoolspublic

Trending open-source repository: UniMath/Schools

Rocq Prover Updated about 2 months ago 1 commits 94 stars
helix-ai|Mirror: UniMath/Schools (⭐94)
about 2 months ago

About

Trending open-source repository: UniMath/Schools

Readme
94 stars
27 forks