Lean Team

Developers of the Lean programming language

The Lean Team is a group of developers who created the Lean programming language. Lean is a formal language designed for rigorous mathematical proof. The team is composed of experienced software developers and mathematicians who share a passion for creating tools that enable formal verification. They are known for their work on the Lean proof assistant and have contributed to various projects in the field of formal v...