issues
search
agda
/
cubical
An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
447
stars
136
forks
source link
agda/agda#6663: Fix fst f → fst g in HopfInvariant
#1006
Closed
plt-amy
closed
1 year ago