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


This effort involved the construction of a collection of tools, libraries, and web applications that enable construction and lightweight verification of formal algebraic arguments (i.e., proofs). An organization account that contains repositories of software applications associated with this effort is maintained on GitHub.