issues
search
HoTT
/
Coq-HoTT
A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.25k
stars
193
forks
source link
drop HasEquiv instance
#2017
Closed
Alizter
closed
2 months ago