**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]] --- Author: [[dducoff]] Posted Date: 2026-06-25