The Marelle project-team participated in the following projects:
National initiatives
- The ANR project DeCert – Deduction and Certification.
- The ANR project TaMaDi – Table Maker’s Dilemma.
European initiatives
- The FP7 project ForMath – Formalisation of Mathematics.
