Author:Guillaume Bury

Keyphrases

arrays, automated deduction, automated theorem proving, B method, deduction modulo, Dedukti, first-order logic, logic, ML Polymorphism, Satisfiability Modulo Theories, sequences, set theory, tableau method, Typed Proof Search, Zenon Modulo.