Jeremy Avigad spent a 2009 to 2010 sabbatical year formalizing the Feit-Thompson theorem using the Rocq proof assistant based on dependent type theory

Universities, scholarly careers, peer review, and the institutions of higher learning.

SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.