Lean Archives - LinuxLinks

Lean – programming language and theorem prover

The Lean mathematical library, mathlib, is a unified library of mathematics formalized in the Lean proof assistant.