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):
Displaying 6 items.
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← 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)