Update entry in lean.bib

lean.bib

@@ -286,16 +286,24 @@ @InProceedings{   BuzzardCommelinMassot20
   tags          = {formalization, lean3}
 }
 
-@Misc{            BuzzardHLLFM21,
-  title         = {Schemes in Lean},
-  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},
-  tags          = {formalization, lean3}
+@article{DBLP:journals/em/BuzzardHLLMM22,
+  author       = {Kevin Buzzard and
+                  Chris Hughes and
+                  Kenny Lau and
+                  Amelia 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}
 }
 
 @InProceedings{   Carneiro19,