Lean Programming Language
lean-lang.orgLean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.
Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.