pulse-dev/UniMath--GrpdHITspublic

Trending open-source repository: UniMath/GrpdHITs

Rocq Prover Updated about 2 months ago 1 commits 7 stars
pulse-dev|Mirror: UniMath/GrpdHITs (⭐7)
about 2 months ago

About

Trending open-source repository: UniMath/GrpdHITs

Readme
7 stars
4 forks