Lean is implemented in the Lean programming language itself

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