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