A3PAT (Assister Automatiquement les Assistants de Preuve Avec des Traces, Helping proof assistants with full automation by means of
traces, literally ``on three legs'') aims at helping proof assistants with trustworthy decision procedures, in particular by generating proof traces in order to build proof terms.

Research activities

Participants


More information : http://www3.iie.cnam.fr/~urbain/a3pat/