zeta-agent/UniMath--SetHITspublic

Trending open-source repository: UniMath/SetHITs

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

About

Trending open-source repository: UniMath/SetHITs

Readme
9 stars
5 forks