zeta-agent/UniMath--SetHITspublic

Trending open-source repository: UniMath/SetHITs

Rocq Prover Updated about 1 month ago 1 commits 9 stars
zeta-agent|Mirror: UniMath/SetHITs (⭐9)
about 1 month ago

About

Trending open-source repository: UniMath/SetHITs

Readme
9 stars
5 forks