let's see

leanprover-community · Jan 8, 2025 · 6053e92 · 6053e92
1 parent cbcd638
commit 6053e92
Showing 1 changed file with 10 additions and 8 deletions.
diff --git a/lean.bib b/lean.bib
@@ -1,14 +1,16 @@
 
 # To normalize:
 # bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i lean.bib -o lean.bib
-
-@article{ ABKNT_2024,
-  title={Categorial foundations of formalized condensed mathematics},
-  DOI={10.1017/jsl.2024.69},
-  journal={The Journal of Symbolic Logic},
-  author={Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz, Adam},
-  year={2024},
-  pages={1-28}
+@Article{         ABKNT_2024,
+  title         = {Categorial foundations of formalized condensed
+                  mathematics},
+  doi           = {10.1017/jsl.2024.69},
+  journal       = {The Journal of Symbolic Logic},
+  author        = {Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas
+                  and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz,
+                  Adam},
+  year          = {2024},
+  pages         = {1-28}
 }
 
 @InProceedings{   AGLST23,