Pages that link to "Item:Q5176973"
From MaRDI portal
The following pages link to How to make ad hoc proof automation less ad hoc (Q5176973):
Displayed 5 items.
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading (Q5372007) (← links)
- A Type-Theoretic Approach to Resolution (Q5743587) (← links)