Update references.bib

blueprint/src/references.bib

@@ -79,11 +79,6 @@ @misc{LAMR
 	author       = {Avigad, Jeremy and van Doorn, Floris and Lewis, Robert},
 	url          = {https://leanprover.github.io/logic_and_proof/}
 }
-@misc{LAMR,
-	title        = {Logic and Mechanized Reasoning},
-	author       = {Avigad, Jeremy and Heule, Marijn and Nawrocki, Wojciech},
-	url          = {https://avigad.github.io/lamr/}
-}
 @misc{MIL,
 	title        = {Mathematics in Lean},
 	author       = {Avigad, Jeremy and Massot, Patrick},
@@ -169,89 +164,5 @@ @misc{FLT
 	title        = {The Fermat's Last Theorem Project},
 	author       = {Buzzard, Kevin},
 	year         = {2024},
-	url          = {}
-}
-url          = {https://leanprover-community.github.io/mathematics_in_lean/}
-}
-@misc{TPIL,
-	title        = {Theorem Proving in Lean 4},
-	author       = {Avigad, Jeremy and de Moura, Leonardo and Kong, Soonho and Ullrich, Sebastian},
-	url          = {https://leanprover.github.io/theorem_proving_in_lean4/}
-}
-@misc{MOP,
-	title        = {The Mechanics of Proof},
-	author       = {Macbeth, Heather},
-	url          = {https://hrmacbeth.github.io/math2001/}
-}
-@misc{HTPIWL,
-	title        = {How To Prove It With Lean},
-	author       = {Velleman, Daniel},
-	url          = {https://djvelleman.github.io/HTPIwL/}
-}
-@misc{FPIL,
-	title        = {Functional Programming in Lean},
-	author       = {Christiansen, David Thrane},
-	url          = {https://lean-lang.org/functional_programming_in_lean/}
-}
-@misc{Carneiro2019,
-	title        = {The Type Theory of Lean},
-	author       = {Carneiro, Mario},
-	year         = {2019},
-	url          = {https://github.com/digama0/lean-type-theory/releases/tag/v1.0}
-}
-@inproceedings{Buzzard2020,
-	title        = {Formalising Perfectoid Spaces},
-	author       = {Buzzard,  Kevin and Commelin,  Johan and Massot,  Patrick},
-	year         = {2020},
-	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{ThemathlibCommunity2020,
-	title        = {The Lean Mathematical Library},
-	author       = {The Mathlib Community},
-	year         = {2020},
-	booktitle    = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs},
-	url          = {http://dx.doi.org/10.1145/3372885.3373824}
-}
-@inbook{vanDoorn2020,
-	title        = {Maintaining a Library of Formal Mathematics},
-	author       = {van Doorn,  Floris and Ebner,  Gabriel and Lewis,  Robert Y.},
-	year         = {2020},
-	booktitle    = {Intelligent Computer Mathematics},
-	url          = {http://dx.doi.org/10.1007/978-3-030-53518-6_16}
-}
-@inbook{Moura2021,
-	title        = {The Lean 4 Theorem Prover and Programming Language},
-	author       = {de Moura,  Leonardo and Ullrich,  Sebastian},
-	year         = {2021},
-	booktitle    = {Lecture Notes in Computer Science},
-	url          = {https://doi.org/10.1007/978-3-030-79876-5_37}
-}
-@inproceedings{Limperg2023,
-	title        = {Aesop: White-Box Best-First Proof Search for Lean},
-	author       = {Limperg,  Jannis and From,  Asta Halkjær},
-	year         = {2023},
-	booktitle    = {Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs},
-	url          = {http://dx.doi.org/10.1145/3573105.3575671}
-}
-% PROJECT
-@misc{FLT3LFTCM2024,
-	title        = {FLT3 at Lean for the Curious Mathematician 2024},
-	author       = {Lowry-Duda, David},
-	year         = {2024},
-	url          = {https://davidlowryduda.com/flt3-at-lftcm2024/}
-}
-@misc{FLT,
-	title        = {The Fermat's Last Theorem Project},
-	author       = {Buzzard, Kevin},
-	year         = {2024},
-	url          = {https://github.com/ImperialCollegeLondon/FLT}
+	url          = {https://leanprover-community.github.io/blog/posts/FLT-announcement/}
 }