Johan Commelin and Adam Topaz created unit tests using concrete examples to verify that formal Lean definitions matched conventional mathematical objects

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.