come on

leanprover-community · Jan 8, 2025 · 90ed94d · 90ed94d
1 parent b3f8a91
commit 90ed94d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lean.bib b/lean.bib
@@ -10,6 +10,7 @@ @article{ ABKNT_2024
   year={2024},
   pages={1-28}
 }
+
 @InProceedings{   AGLST23,
   author        = {Avigad, Jeremy and Goldberg, Lior and Levit, David and
                   Seginer, Yoav and Titelman, Alon},