/cavalry

Mini-language for program verification using Hoare logic

Primary LanguageOCamlMIT LicenseMIT

Stargazers