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]
27 stars
3 watching
2 forks
Language: Coq
last commit: 2 months ago coqprogram-verificationtemplatetemplate-repository