aartifact
Lightweight formal verification libraries and interactive environments targeted primarily for use in academic and instructional settings.

Repository

The project consists of a collection of libraries and web applications that enable construction and lightweight formal verification of formal algebraic arguments (i.e., proofs). The official repository is maintained on GitHub.