Pages that link to "Item:Q5504659"
From MaRDI portal
The following pages link to α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659):
Displaying 4 items.
- lean\(T^ AP\): Lean tableau-based deduction (Q1904400) (← links)
- Nominal equational problems (Q2233392) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
