L’équipe-projet Marelle a participé aux projets suivants:
Projets nationaux
- Le projet ANR DeCert – Déduction et Certification.
- Le project ANR TaMaDi – Table Maker’s Dilemma.
Projets européens
- Le projet ForMath – Formalisation de Mathématiques.
L’équipe-projet Marelle a participé aux projets suivants: