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