Update README.md

ATOMSLab · Jan 6, 2025 · d7aa531 · d7aa531
1 parent 3e5040b
commit d7aa531
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -15,4 +15,6 @@ The Lean code in this repository was compatible with the versions of Lean and Ma
 
 Thanks to Tomas Skrivan, our guest speaker for Lecture 11 (the code for his repo is [here](https://github.com/lecopivo/SciLeanDemo))! Also, thanks to ATOMS Lab [members](https://atomslab.github.io/members/) Ejike (David) Ugwuanyi, Colin Jones, Alan Vithayathil, Oscar Matemb, and Shashane Anderson for contributing to course content, developing example problems, and editing lecture recordings.
 
+Also, big thanks to Heather Macbeth for writing [Mechanics of Proof](https://hrmacbeth.github.io/math2001/) and to David Thrane Christiansen for writing [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/).
+
  This work was made possible with funding from the National Science Foundation, NSF CAREER Award [2236769](https://www.nsf.gov/awardsearch/showAward?AWD_ID=2236769)