CoqMT
From MaRDI portal
Software:30969
No author found.
Related Items (6)
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ Coq without Type Casts: A Complete Proof of Coq Modulo Theory ⋮ Coq Modulo Theory ⋮ Unnamed Item
This page was built for software: CoqMT
