Pages that link to "Item:Q3498463"
From MaRDI portal
The following pages link to Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs (Q3498463):
Displayed 16 items.
- Zenon (Q18828) (← links)
- Resolution is cut-free (Q972424) (← links)
- Automated proof of Bell-LaPadula security properties (Q2031424) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Invariants for the FoCaL language (Q2379680) (← links)
- On the mechanization of the proof of Hessenberg's theorem in coherent logic (Q2471743) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Automated Constructivization of Proofs (Q2988387) (← links)
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (Q3095242) (← links)
- Soundly Proving B Method Formulæ Using Typed Sequent Calculus (Q3179401) (← links)
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416) (← links)
- Integrating Simplex with Tableaux (Q3455763) (← links)
- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme (Q3655207) (← links)
- Functional Testing in the Focal Environment (Q5458812) (← links)