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

Release history Release notifications | RSS feed

This release
Pre-release

dev This release

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page