Inria

Raweb
2014  Exploratory Action
Section: Overall Objectives
Objectives
The team investigates applications of recent results in proof theory to the design of proofcheckers and automated theorem proving systems. It develops the Dedukti proofchecker and the iProver modulo and Zenon modulo automated theorem proving systems.