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