issues
search
agda
/
cubical
An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
459
stars
141
forks
source link
WellFounded: Well-founded relations are irreflexive.
#1158
Open
shlevy
opened
2 months ago