ileanCoP
From MaRDI portal
IleanCoP
Cited in
(57)- ILTP
- PyRes
- SETHEO
- Aligning concepts across proof assistant libraries
- STRIP
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- LoTREC
- Polar
- Machine learning guidance for connection tableaux
- Bayesian ranking for strategy scheduling in automated theorem provers
- Vampire getting noisy: Will random bits help conquer chaos? (system description)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- The role of entropy in guiding a connection prover
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics
- Eliminating models during model elimination
- leanCoP
- DLog
- QMLTP
- JProver
- leanTAP
- Theorem prover for intuitionistic logic based on the inverse method
- Imogen
- TABLEAUX
- Monte Carlo tableau proof search
- ModLeanTAP
- SMTtoTPTP
- FOOL
- randoCoP
- nanoCoP: a non-clausal connection prover
- Internal guidance for Satallax
- HOL Based First-Order Modal Logic Provers
- A Non-clausal Connection Calculus
- MaLeCoP. Machine learning connection prover
- Specifying and verifying organizational security properties in first-order logic
- MleanCoP: a connection prover for first-order modal logic
- FEMaLeCoP
- Intuitionistic Decision Procedures Since Gentzen
- MleanCoP
- nanoCoP
- Implementing and evaluating provers for first-order modal logics
- scientific article; zbMATH DE number 5305114 (Why is no real title available?)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
- IntHistGC
- A Labelled System for IPL with Variable Splitting
- A proof-search procedure for intuitionistic propositional logic
- KoMeT
- WhaleProver
- intuit
- Practical Proof Search for Coq by Type Inhabitation
- Teaching Automated Theorem Proving by Example: PyRes 1.2
- Prolog Technology Reinforcement Learning Prover
- Proof Search for the First-Order Connection Calculus in Maude
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
- Automated Reasoning with Analytic Tableaux and Related Methods
- Automated Reasoning with Analytic Tableaux and Related Methods
- BanditFuzz
- The ILTP problem library for intuitionistic logic
This page was built for software: ileanCoP
