**Profile:** [About me](https://sebasti.a.nullri.ch) ![[Sebastian Ullrich.png]] **eBooks**: [[Theorem Proving in Lean 4 - Avigad|Theorem Proving in Lean 4 - co-author]] --- **Posted Date:** 2026-01-19