Equipe-projet

PICUBE

Les assistants à la démonstration au cœur du raisonnement mathématique
Les assistants à la démonstration au cœur du raisonnement mathématique
Centre(s) inria
Centre Inria de Paris
En partenariat avec
CNRS,Université Paris Cité

Contacts

Paul-Andre Mellies

Responsable de l'équipe

Meriem Guemair

Assistant(e) de l'équipe

Diana Marino Duarte

Assistant(e) de l'équipe