Update references.bib

pitmonticone · Jun 14, 2024 · d4582c1 · d4582c1
1 parent 89e4d84
commit d4582c1
Showing 1 changed file with 1 addition and 9 deletions.
diff --git a/blueprint/src/references.bib b/blueprint/src/references.bib
@@ -63,7 +63,7 @@ @article{Avigad2020
 	title        = {Foundations},
 	author       = {Avigad,  Jeremy},
 	year         = {2020},
-	publisher    = {arXiv},
+	journal      = {arXiv},
 	url          = {https://arxiv.org/abs/2009.09541}
 }
 @article{Avigad2021,
@@ -152,14 +152,6 @@ @inproceedings{Buzzard2020
 	booktitle    = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs},
 	url          = {http://dx.doi.org/10.1145/3372885.3373830}
 }
-@inproceedings{Han2020,
-	title        = {A Formal Proof of the Independence of the Continuum Hypothesis},
-	author       = {Han,  Jesse Michael and van Doorn,  Floris},
-	year         = {2020},
-	booktitle    = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs},
-	doi          = {10.1145/3372885.3373826},
-	url          = {http://dx.doi.org/10.1145/3372885.3373826}
-}
 @inproceedings{Mathlib2020,
 	title        = {The Lean Mathematical Library},
 	author       = {The Mathlib Community},