Pages that link to "Item:Q5398327"

The following pages link to How to make ad hoc proof automation less ad hoc (Q5398327):

Displayed 3 items.

• Eisbach: a proof method language for Isabelle (Q287365) ‎ (← 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)