Lean is an interactive theorem prover designed to formally verify software specifications and check the logical validity of mathematical proofs

The systematic study of the natural world through observation, experiment, and theory.

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