**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** : [[Courses and eBooks/Formalising Mathematics - Metha/Links]] --- **`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL) **`Posted Date:`** 2026-08-11