Pages that link to "Item:Q3499757"
From MaRDI portal
The following pages link to Working with Mathematical Structures in Type Theory (Q3499757):
Displayed 8 items.
- Type classes for mathematics in type theory (Q3094177) (← links)
- Hints in Unification (Q3183522) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- The Matita Interactive Theorem Prover (Q5200015) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)