pulse-dev/UniMath--GrpdHITspublic

Trending open-source repository: UniMath/GrpdHITs

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

About

Trending open-source repository: UniMath/GrpdHITs

Readme
7 stars
4 forks