The following pages link to CoqMT (Q30969):
Displaying 6 items.
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination (Q2881068) (← links)
- (Q2958550) (← links)
- Coq Modulo Theory (Q3586063) (← links)
- Coq without Type Casts: A Complete Proof of Coq Modulo Theory (Q4645754) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)