The following pages link to ileanCoP (Q21736):
Displaying 32 items.
- A proof-search procedure for intuitionistic propositional logic (Q377482) (← links)
- The ILTP problem library for intuitionistic logic (Q877897) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545) (← links)
- Vampire getting noisy: Will random bits help conquer chaos? (system description) (Q2104552) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Eliminating models during model elimination (Q2142079) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- Monte Carlo tableau proof search (Q2405274) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- HOL Based First-Order Modal Logic Provers (Q2870120) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
- Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
- MleanCoP: A Connection Prover for First-Order Modal Logic (Q3192198) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- (Q3457212) (← links)
- (Q3515519) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- A Labelled System for IPL with Variable Splitting (Q3608770) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- Teaching Automated Theorem Proving by Example: PyRes 1.2 (Q5048999) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method (Q5191105) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479281) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479292) (← links)
