CoqMTU

swMATH19138MaRDI QIDQ30968FDOQ30968

Author name not available (Why is that?)

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

Cited In (5)

• Functional verification of high performance adders in \textsc{Coq}
• Title not available (Why is that?)
• Coquet
• CoqMT
• Coq without type casts: a complete proof of Coq Modulo Theory

This page was built for software: CoqMTU