Pages that link to "Item:Q5398327"
From MaRDI portal
The following pages link to How to make ad hoc proof automation less ad hoc (Q5398327):
Displayed 5 items.
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- Validating Mathematical Structures (Q5048998) (← 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)
- (Q5875410) (← links)