CoqMT

swMATH19139MaRDI QIDQ30969FDOQ30969

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-15205-4_40

Cited In (7)

• Title not available (Why is that?)
• Coq Modulo Theory
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Confluence: the unifying, expressive power of locality
• CoqMTU
• Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
• Coq without type casts: a complete proof of Coq Modulo Theory

This page was built for software: CoqMT