Starred repositories
11
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
Lean Library currently studying for a degree at Imperial College
A sudoku game where you have to prove that your deductions are valid