make categorical foundations of condensed mathematics appear in the l…

…ist of papers (#570)
leanprover-community · Jan 9, 2025 · 4d7f528 · 4d7f528
1 parent 044a8a0
commit 4d7f528
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/lean.bib b/lean.bib
@@ -2,15 +2,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
+  title         = {Categorical 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}
+  pages         = {1-28},
+  tags          = {formalization, lean4}
 }
 
 @InProceedings{   AGLST23,