search

agda / cubical

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

Summary paper qcqs-schemes #1113

Closed mzeuner closed 3 months ago

mzeuner commented 3 months ago

Summary file draft for an upcoming paper. This will be subject to change with the algebraic geometry refactoring.