From e7b6de8b0c99c8aca8997ba007707033535a3372 Mon Sep 17 00:00:00 2001
From: Riccardo Brasca <riccardo.brasca@gmail.com>
Date: Wed, 8 Jan 2025 22:03:05 +0100
Subject: [PATCH] add condensed

---
 lean.bib | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/lean.bib b/lean.bib
index e1383ca3a..82ca4233e 100644
--- a/lean.bib
+++ b/lean.bib
@@ -1839,3 +1839,12 @@ @InProceedings{   Zhang23
                   Proj construction, projective geometry},
   tags          = {formalization, lean3}
 }
+
+@article{ ASGEIRSSON_BRASCA_KUHN_NUCCIO_TOPAZ_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}
+}
\ No newline at end of file