Project-team PICUBE Proof assistants at the heart of mathematical reasoning Proof assistants at the heart of mathematical reasoning
Centre(s) inria Inria Paris Centre In partnership with CNRS,Université Paris Cité Publications HALActivity reports Contacts Paul-Andre Mellies Team leader Meriem Guemair Team assistant Diana Marino Duarte Team assistant Discover similar project-teams about the same theme
