This is the repository for Bhavik Mehta's 2025 course on formalising mathematics in the Lean theorem prover. The course runs from January to March 2025. Note: this course is written in Lean 4.

These are the notes I am taking when studying at Imperial College, London for a mathematics degree. This project is inspired by Dexter Chua's Cambridge notes, which I am grateful to have come across ...

Quadratic Equations Class 10 Notes: This article brings to you revision notes for CBSE Class 10 Mathematics Chapter 4, Quadratic Equations along with a PDF download link for the same. These short ...

Probability Class 10 Notes: Revision notes for CBSE Class 10 Chapter 14 Probability has been presented in this article for students of the 2023-2024 batch. You can ...