Lists (2)
Stars
5
stars
written in Lean
Clear filter
Lean 3's obsolete mathematical components library: please use mathlib4
Interactive neural theorem proving in Lean
Beginner experiments in formalisation of solutions to mathematical olympiad problems, using problems from the second round of the British Mathematical Olympiad 2019/20.
A (successful !) attempt at computing the Gaussian integral in Lean