search

mikeshulman / Coq-HoTT

Homotopy type theory
http://homotopytypetheory.org/
Other
12 stars 4 forks source link

Renamed sh to sh_ #8

Closed Alizter closed 5 years ago