diff --git a/lean.bib b/lean.bib
index 1e37e8ca9d..ea4ae3071b 100644
--- a/lean.bib
+++ b/lean.bib
@@ -286,15 +286,21 @@ @InProceedings{   BuzzardCommelinMassot20
   tags          = {formalization, lean3}
 }
 
-@Misc{            BuzzardHLLFM21,
-  title         = {Schemes in Lean},
+@Article{         BuzzardHLLFM21,
   author        = {Kevin Buzzard and Chris Hughes and Kenny Lau and Amelia
-                  Livingston and Ramon Fernández Mir and Scott Morrison},
-  year          = {2021},
-  eprint        = {2101.02602},
-  archiveprefix = {arXiv},
-  primaryclass  = {math.AG},
-  url           = {https://arxiv.org/abs/2101.02602},
+                  Livingston and Ramon Fern{\'{a}}ndez Mir and Scott
+                  Morrison},
+  title         = {Schemes in Lean},
+  journal       = {Exp. Math.},
+  volume        = {31},
+  number        = {2},
+  pages         = {355--363},
+  year          = {2022},
+  url           = {https://doi.org/10.1080/10586458.2021.1983489},
+  doi           = {10.1080/10586458.2021.1983489},
+  timestamp     = {Tue, 06 Dec 2022 13:15:09 +0100},
+  biburl        = {https://dblp.org/rec/journals/em/BuzzardHLLMM22.bib},
+  bibsource     = {dblp computer science bibliography, https://dblp.org},
   tags          = {formalization, lean3}
 }