search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
452 stars 138 forks source link

Add link to arXiv preprint of affine schemes paper #1003

Closed mzeuner closed 1 year ago

mzeuner commented 1 year ago

plus some other changes reflecting recent updates of the paper