**Profile:** [Google Scholar](https://scholar.google.com/citations?user=GLFFduAAAAAJ&hl=en) ![[Soonho Kong.png]] **eBooks**: [[Theorem Proving in Lean 4 - Avigad|Theorem Proving in Lean 4 - co-author]] --- **Posted Date:** 2026-01-19