Proof-related projects
To contribute to the web site, please create a pull request or send a mail to the science communication coordinators.
-
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