coq-community / coq-program-verification-template Goto Github PK
View Code? Open in Web Editor NEWTemplate project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]
License: Other