2 search results - page 1 / 1 » JProver : Integrating Connection-Based Theorem Proving into ... |
107
Voted
CADE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...