cockerel dev
Latest version
Released:
Simplified Theorem Checker for the Web
Navigation
Unverified details
These details have not been verified by PyPIProject links
Meta
- License: BSD License (BSD)
- Author: Dan Colish
Classifiers
- Development Status
- Environment
- Intended Audience
- License
- Operating System
- Programming Language
- Topic
Project description
A Lesson Planner and Prover for Math Classes. Requires you have Coq 8.2pl1 or higher installed
Links
Project details
Unverified details
These details have not been verified by PyPIProject links
Meta
- License: BSD License (BSD)
- Author: Dan Colish
Classifiers
- Development Status
- Environment
- Intended Audience
- License
- Operating System
- Programming Language
- Topic