The following pages link to The Twelf Proof Assistant (Q3183521):
Displayed 6 items.
- Twelf (Q18957) (← links)
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)