Group partout
partout (Proof Automation and RepresenTation: a fOundation of compUtation and deducTion)
LIX, Ecole Polytechnique
Themes:foundations of computer science
The PARTOUT project is interested in the principles of deductive and computational formalisms. In the broadest sense, we are interested in the question of trustworthy and verifiable meta-theory.
Contact person: luts Strassburger, http://www.lix.polytechnique.fr/~lutz
Web site: https://team.inria.fr/partout/