search

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.26k stars 192 forks source link

[PREVIEW] Nat cleanup preview #2037

Closed Alizter closed 2 months ago

Alizter commented 3 months ago

This is still a WIP but available to see the bigger picture we are aiming for with #2028.