Add link to arXiv preprint of affine schemes paper (#1003)

* use improved ringsolver * delete one more line * get started * everything but background * numbering * arxiv limk
agda · May 2, 2023 · 310a095 · 310a095
1 parent 3dc3cd1
commit 310a095
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Cubical/Papers/AffineSchemes.agda b/Cubical/Papers/AffineSchemes.agda
@@ -5,11 +5,11 @@ Please do not move this file. Changes should only be made if necessary.
 This file contains pointers to the code examples and main results from
 the paper:
 
-A Univalent Formalization of Affine Schemes
+A Univalent Formalization of Constructive Affine Schemes
 
-Anders Mörtberg, Max Zeuner
+Max Zeuner, Anders Mörtberg
 
-Preprint: !!! arXiv link !!!
+Preprint: https://arxiv.org/abs/2212.02902
 
 
 -}