The following pages link to (Q4520768):
Displayed 10 items.
- Incremental variable splitting (Q429591) (← links)
- Hypothesis finding with proof theoretical appropriateness criteria (Q817840) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- (Q2703720) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)