Pages that link to "Item:Q5504659"

The following pages link to α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659):

Displaying 2 items.

• Nominal equational problems (Q2233392) (← links)
• Nominal syntax with atom substitutions (Q2662669) (← links)