PARTOUT: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion | Rogue Scholar

Also known as

PARTOUT: Proof Automation and RepresenTation: a fOundation of compUtation and deducTion

Type

Facility

Location

Palaiseau, Île-de-France, France

Website

https://team.inria.fr/partout

Parent

Centre Inria de Saclay

ROR

Centre Inria de l'Institut Polytechnique de Paris

ROR