Skip to main content

Simplified Theorem Checker for the Web

Project description

A Lesson Planner and Prover for Math Classes. Requires you have Coq 8.2pl1 or higher installed

Project details


Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page