Pages that link to "Item:Q4610335"

The following pages link to ileanTAP: An intuitionistic theorem prover (Q4610335):

Displaying 4 items.

• IeanCOP: lean connection-based theorem proving (Q1404981) (← 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)
• Connection-based proof construction in linear logic (Q5234702) (← links)