An interpreter for an imperative language and a Hoare logic prover
Primary LanguageOCaml
No issues in this repository yet.