Lean Lang
lean-lang.org
As featured in
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
News
Report