**Profile:** [About me](https://sebasti.a.nullri.ch) ![[Sebastian Ullrich.png]] **eBooks**: [[zStaging area ==================/Courses and eBooks/Theorem Proving in Lean 4 - Avigad/Theorem Proving in Lean 4 - Avigad|Theorem Proving in Lean 4 - co-author]] --- **`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL) **`Posted Date:`** 2026-08-11