CoqMTU

swMATH19138MaRDI QIDQ30968FDOQ30968

Author name not available (Why is that?)

Cited In (3)

• Functional verification of high performance adders in \textsc{Coq}
• Title not available (Why is that?)
• Coq without Type Casts: A Complete Proof of Coq Modulo Theory

This page was built for software: CoqMTU