Thomas Hales spent approximately 20 person-years formally verifying his proof of the Kepler conjecture using proof assistants

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.