**Profile:** [Wikipedia](https://en.wikipedia.org/wiki/Jeremy_Avigad) ![[Jeremy Avigad.png]] **eBooks**: [[Theorem Proving in Lean 4 - Avigad]] --- **Posted Date:** 2026-01-19