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
Add credit to @Schippmunk for Displayed
#1136
Closed
ecavallo
closed
3 weeks ago