diff --git a/lean.bib b/lean.bib
index ae2879efe..5b84050bc 100644
--- 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},