Pages that link to "Item:Q3499757"
From MaRDI portal
The following pages link to Working with Mathematical Structures in Type Theory (Q3499757):
Displaying 11 items.
- Organizing numerical theories using axiomatic type classes (Q1774558) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- 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)
- (Q5699551) (← links)