issues
search
agda
/
cubical
An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
441
stars
134
forks
source link
Algebraic geometry directory
#1100
Closed
mzeuner
closed
3 months ago
mzeuner
commented
5 months ago
See
https://github.com/agda/cubical/issues/1095
See https://github.com/agda/cubical/issues/1095