issues
search
agda
/
cubical
An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
454
stars
139
forks
source link
Add cohomology rings summary file
#937
Closed
apabepa10
closed
2 years ago