PICUBE: Les assistants à la démonstration au cœur du raisonnement mathématique | Rogue Scholar

Also known as

PICUBE: Proof assistants at the heart of mathematical reasoning

Type

Facility

Location

Paris, Île-de-France, France

Website

https://www.inria.fr/equipes/picube

Parent

Centre Inria de Paris

ROR