Lean is a programming language [1] > Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified

Lean is a programming language [1] > Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code [1]: https://lean-lang.org/ https://lean-lang.org/