coq-community / coq-program-verification-template

Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]
30Updated 5 months ago

Alternatives and similar repositories for coq-program-verification-template:

Users that are interested in coq-program-verification-template are comparing it to the libraries listed below