Pages that link to "Item:Q5210813"

The following pages link to LeanT A P: Lean tableau-based theorem proving (Q5210813):

Displaying 3 items.

• Efficient model generation through compilation. (Q1854374) (← links)
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
• ileanTAP: An intuitionistic theorem prover (Q4610335) (← links)