**Profile:** [Wikipedia](https://en.wikipedia.org/wiki/Jeremy_Avigad) ![[Jeremy Avigad.png]] **eBooks**: [[Courses and eBooks/Theorem Proving in Lean 4 - Avigad/Links|Links]] --- **`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL) **`Posted Date:`** 2026-08-11