Stars
7
stars
written in Lean
Clear filter
Lean 3's obsolete mathematical components library: please use mathlib4
Demo for high-performance type theory elaboration
Simple verification of Rust programs via functional purification in Lean 2(!)
Lean Library currently studying for a degree at Imperial College
Formal verification of parts of the Stacks Project in Lean
This may become a formalization of smooth manifolds in lean