Derivation in the Resolution P...


satisfiability2-satisfiabilityproof-system

Read More
Has anybody used a proof assis...


proof-system

Read More
Theorem Prover: How to optimiz...


functional-programmingocamlprooftheorem-provingproof-system

Read More
Natural deduction: is this a s...


logicproof-of-correctnessproof-system

Read More
Relation between types prod an...


typescoqproof-system

Read More
How to automatically proof tha...


logicfirst-order-logicproof-system

Read More
Help with a Coq proof for SubS...


coqproof-system

Read More