The interactive theorem prover Lean allows users to formally verify the logical validity of mathematical proofs via computational proof checking

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.