Verification conditions generator for a simple language
Primary LanguageOCaml
No one’s star this repository yet.