Cited in
(7)- First-order automated reasoning with theories: when deduction modulo theory meets practice
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- Confluence: the unifying, expressive power of locality
- scientific article; zbMATH DE number 6680163 (Why is no real title available?)
- CoqMTU
- Coq Modulo Theory
- Coq without type casts: a complete proof of Coq Modulo Theory
This page was built for software: CoqMT
