JProver
From MaRDI portal
Software:21955
No author found.
Related Items (13)
A matrix characterization for multiplicative exponential linear logic ⋮ Practical Proof Search for Coq by Type Inhabitation ⋮ Building reliable, high-performance networks with the Nuprl proof development system ⋮ Innovations in computational type theory using Nuprl ⋮ Hammer for Coq: automation for dependent type theory ⋮ The ILTP problem library for intuitionistic logic ⋮ Certification of nonclausal connection tableaux proofs ⋮ Theorem prover for intuitionistic logic based on the inverse method ⋮ leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) ⋮ A Non-clausal Connection Calculus ⋮ Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ nanoCoP: A Non-clausal Connection Prover
This page was built for software: JProver
