20akshay00
Follow
Starred repositories
7
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
A project to digitalise results from high energy physics into Lean.