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.
-
2022-2026: ForCUTT, Formalisation of Constructive Univalent Type Theory (ERC Advanced Grant to Thierry Coquand)
-
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