Loading...
Lean Team
Developers of the Lean programming language
Zurich, Switzerland
About Lean
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 verification.
Associated Podcasts
Key Topics
Are you Lean Team? Manage your profile and connect with your audience.
Claim Profile