CoqMTU
From MaRDI portal
Software:30968
No author found.
Related Items (3)
Coq without Type Casts: A Complete Proof of Coq Modulo Theory ⋮ Functional verification of high performance adders in \textsc{Coq} ⋮ Unnamed Item
This page was built for software: CoqMTU