Mathlib is the core mathematical component library used for formalizing mathematics within the Lean interactive theorem proving ecosystem

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.