/aartifact-verifier

Lightweight formal verification system developed to support research on usability of automated proof verification tools.

Primary LanguageHaskellMIT LicenseMIT

Stargazers