Thomas Hales utilized the proof assistants HOL Light and Isabelle to formally verify his proof of the Kepler conjecture

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.