Proof-related projects

To contribute to the web site, please open an issue, create a pull request or send a mail to the science communication coordinators.

• 2021- : Hoskinson Center for Formal Mathematics

• 2022-2026: ForCUTT, Formalisation of Constructive Univalent Type Theory (ERC Advanced Grant to Thierry Coquand)

• 2021-2026: Type Theory for Mathematics and Computer Science

• 2022-2025: ICSPA, Interoperable and Confident Set-based Proof Assistants

• 2017-2022: Alexandria, Large-Scale Formal Proof for the Working Mathematician

• 2017-2022: SMART, Strong Modular Proof Assistance Reasoning Across Theories