CoqMT
From MaRDI portal
Software:30969
swMATH19139MaRDI QIDQ30969FDOQ30969
Author name not available (Why is that?)
Cited In (6)
- Confluence: The Unifying, Expressive Power of Locality
- Title not available (Why is that?)
- Coq Modulo Theory
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- Coq without Type Casts: A Complete Proof of Coq Modulo Theory
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
This page was built for software: CoqMT
