CoqMTU

MaRDI QIDQ30968swMATHFDO

Official website https://hal.inria.fr/inria-00583136/file/coq-mtu-lics-2011.pdf

Cited in

(6)

• Coq without type casts: a complete proof of Coq Modulo Theory
• Functional verification of high performance adders in \textsc{Coq}
• scientific article; zbMATH DE number 6680163 (Why is no real title available?)
• PREVAIL
• Coquet
• CoqMT

This page was built for software: CoqMTU