**Profile**: [Prog.ai](https://www.getprog.ai/profile/29959226) ![[Bhavik Mehta.png]] **eBooks**: [Formalising Mathematics - Mehta](https://b-mehta.github.io/formalising-mathematics-notes/index.html#formalising-mathematics) **Lean Notes**: [[Sheets - Formalising Mathematics - Mehta]] --- **Posted Date:** 2026-01-17