Conclusions

Related Papers

• Parallelizing an interactive theorem prover: functional programming and proofs with acl2(2012)
• Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions(2007)
• Complementarity of a Natural Deduction Knowledge-Based Prover and Resolution-Based Provers in Automated Theorem Proving(2007)
• → Conclusions(2001)