**Profile:** [Google Scholar](https://scholar.google.com/citations?user=GLFFduAAAAAJ&hl=en) ![[Soonho Kong.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