The following pages link to Mtac (Q5244791):
Displaying 7 items.
- Mtac (Q24994) (← links)
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- Automatically proving equivalence by type-safe reflection (Q2364699) (← links)
- Extensible and Efficient Automation Through Reflective Tactics (Q2802496) (← links)
- Auto in Agda (Q2941181) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading (Q5372007) (← links)
