The "batteries included" extended library for the Lean programming language and theorem prover
No resources for this project.