Update references.bib

pitmonticone · Apr 9, 2024 · 433b844 · 433b844
1 parent 378a68f
commit 433b844
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/blueprint/src/references.bib b/blueprint/src/references.bib
@@ -26,3 +26,13 @@ @misc{MOP
 	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://leanprover.github.io/functional_programming_in_lean/}
+}