## Formalising Mathematics - Metha - Table of Contents - **`eBook:`** [Mehta - Lean 4](https://b-mehta.github.io/formalising-mathematics-notes/index.html#formalising-mathematics) [Tactics - Metha](https://b-mehta.github.io/formalising-mathematics-notes/Part_2/Part_2.html) - **`Videos:`** [Buzzard - Lean 3](https://www.youtube.com/playlist?list=PLVZep5wTamMmRPvCLO4WVpCwkTi1F6OyF) - **`Github Repos:`** [LeanNotes](https://github.com/dducoff/LeanNotes-Formalising-Mathematics-2026) [Metha](https://github.com/b-mehta/formalising-mathematics-notes) [Solution files - Metha](https://github.com/b-mehta/formalising-mathematics-notes/blob/main/FormalisingMathematics2026/Solutions/Section01logic/Sheet1.lean) ## Solutions - **`1 Logic Solutions:`** - **`Sheet 1:`** [[1 Logic Sheet 1|LeanNotes]] [Metha](https://github.com/b-mehta/formalising-mathematics-notes/blob/main/FormalisingMathematics2026/Solutions/Section01logic/Sheet1.lean) --- **`LeanNotes curator:`** [[dducoff]], [Contact dducoff](https://tally.so/r/rjQYWL) **`Posted Date`**: 2026-08-15