Update references.bib

pitmonticone · Apr 21, 2024 · 3177445 · 3177445
1 parent 5a22dbf
commit 3177445
Showing 1 changed file with 19 additions and 10 deletions.
diff --git a/blueprint/src/references.bib b/blueprint/src/references.bib
@@ -1,4 +1,21 @@
-% LEAN REFERENCES
+% INFORMAL MATHEMATICS
+@book{Hindry2011,
+	title        = {Arithmetics},
+	author       = {Hindry,  Marc},
+	year         = {2011},
+	doi          = {10.1007/978-1-4471-2131-2},
+	url          = {http://dx.doi.org/10.1007/978-1-4471-2131-2}
+}
+% FORMAL MATHEMATICS
+@article{Bentkamp2023,
+	title        = {Mechanical Mathematicians},
+	author       = {Bentkamp,  Alexander and Blanchette,  Jasmin and Nummelin,  Visa and Tourret,  Sophie and Vukmirović,  Petar and Waldmann,  Uwe},
+	year         = {2023},
+	journal      = {Communications of the ACM},
+	doi          = {10.1145/3557998},
+	url          = {http://dx.doi.org/10.1145/3557998}
+}
+% LEAN
 @misc{MIL,
 	title        = {Mathematics in Lean},
 	author       = {Avigad, Jeremy and Massot, Patrick},
@@ -40,15 +57,7 @@ @inproceedings{Limperg2023
 	doi          = {10.1145/3573105.3575671},
 	url          = {http://dx.doi.org/10.1145/3573105.3575671}
 }
-% MATHEMATICAL REFERENCES
-@book{Hindry2011,
-	title        = {Arithmetics},
-	author       = {Hindry,  Marc},
-	year         = {2011},
-	doi          = {10.1007/978-1-4471-2131-2},
-	url          = {http://dx.doi.org/10.1007/978-1-4471-2131-2}
-}
-% PROJECT REFERENCES
+% PROJECT
 @misc{FLT3LFTCM2024,
 	title        = {FLT3 at Lean for the Curious Mathematician 2024},
 	author       = {Lowry-Duda, David},