**Profile:** [Wikipedia](https://en.wikipedia.org/wiki/Jeremy_Avigad) ![[Jeremy Avigad.png]] **eBooks**: [[zStaging area ==================/Courses and eBooks/Theorem Proving in Lean 4 - Avigad/Theorem Proving in Lean 4 - Avigad]] --- Author: [[dducoff]] Posted Date: 2026-06-25