/hoare-logic-prover

Proof-of-concept formal verification using Hoare logic

Primary LanguagePythonMIT LicenseMIT

Stargazers