Dedukti/CPR Workshop
April 1st, 2011
Denis Cousineau,
On proof-terms for deduction modulo
.
Olivier Hermant,
Generalizing Boolean Algebras for Deduction Modulo
.
Gilles Dowek,
First-order logic in Dedukti
.
Guillaume Burel,
CoqInE
.
David Delahaye and Catherine Dubois, Focal's Semantics.
Catherine's slides
David's slides
Compilation of Focal