Pre-release

This release is a pre-release and may not be stable for production use.

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

Links

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for dcolish from gravatar.com dcolish

Credits

Author: Dan Colish

License

BSD License (BSD)

Classifiers

Report project as malware

Supported by

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