Skip to content

Commit

Permalink
fix ABKNT_2024 (#572)
Browse files Browse the repository at this point in the history
  • Loading branch information
riccardobrasca authored Jan 9, 2025
1 parent 97fa06d commit 90fbbb6
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions lean.bib
Original file line number Diff line number Diff line change
@@ -7,10 +7,13 @@ @Article{ ABKNT_2024
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},
and N{uccio Mortarino Majno di Capriglio}, Filippo A. E.
and Topaz, Adam},
year = {2024},
pages = {1-28},
url = {
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/categorical-foundations-of-formalized-condensed-mathematics/0A003200BE44C4F78859DFAE19E3FFA8
},
tags = {formalization, lean4}
}

0 comments on commit 90fbbb6

Please sign in to comment.