Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
Primary LanguageCoqMIT LicenseMIT