Coquet
From MaRDI portal
Software:21898
No author found.
Related Items (6)
Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7--9, 2011. Proceedings ⋮ Modular verification of programs with effects and effects handlers ⋮ A formal equational theory for call-by-push-value ⋮ Unnamed Item ⋮ Coquet: A Coq Library for Verifying Hardware ⋮ Functional verification of high performance adders in \textsc{Coq}
This page was built for software: Coquet
