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...
Know when Lean Team turns up
Follow Lean Team and once a week we email you every new episode they appeared on — including guest spots the show notes never mention, because we read the transcript.
Follow Lean TeamFree. Pick your own day and time.
Are you Lean Team?
Claim this page: every appearance in one place, with transcripts, plus a verified badge to link from your bio.
Shows & network
Associated podcasts
Chronological feed