The following pages link to (Q4539650):
Displaying 4 items.
- lolliCoP (Q14212) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)