**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) **LeanNotes** : [[Formalising Mathematics - Metha]] --- Author: [[dducoff]] Posted Date: 2026-06-25