make categorical foundations of condensed mathematics appear in the l…

…ist of papers
leanprover-community · Jan 9, 2025 · 1ee298f · 1ee298f
1 parent 044a8a0
commit 1ee298f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lean.bib b/lean.bib
@@ -10,7 +10,8 @@ @Article{         ABKNT_2024
                   and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz,
                   Adam},
   year          = {2024},
-  pages         = {1-28}
+  pages         = {1-28},
+  tags          = {formalization, lean4}
 }
 
 @InProceedings{   AGLST23,