**Profile**: [Bulhwi Cha](https://github.com/chabulhwi) ![[Bulhwi Cha.png]] **Solutions** : [[zStaging area ==================/Courses and eBooks/Theorem Proving in Lean 4 - Avigad/Theorem Proving in Lean 4 - Avigad]] / [[Solutions - Cha#Solutions by Bulhwi Cha|Solutions by Bulhwi Cha]] --- **`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL) **`Posted Date:`** 2026-08-11