Pages that link to "Item:Q3100211"

The following pages link to Tactics for Reasoning Modulo AC in Coq (Q3100211):

Displaying 3 items.

• Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
• A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols (Q2424886) (← links)
• Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)