Lean functions as both a programming language and an interactive proof assistant

SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.

Consumer and productivity applications and the companies that make them.