Notice!
PyPM is being replaced with the ActiveState Platform, which enhances PyPM’s build and deploy capabilities.
Create your free Platform account
to download ActivePython or customize Python with the packages you require and get automatic updates.
Download
ActivePython
INSTALL>
pypm install cockerel
How to install cockerel
- Download and install ActivePython
- Open Command Prompt
- Type
pypm install cockerel
| Python 2.7 | Python 3.2 | Python 3.3 |
---|
Windows (32-bit) | | | |
---|
Windows (64-bit) | | | |
---|
Mac OS X (10.5+) | | | |
---|
Linux (32-bit) | | | |
---|
Linux (64-bit) | | | |
---|
Lastest release
version dev on Jan 5th, 2011
A Lesson Planner and Prover for Math Classes.
Requires you have Coq 8.2pl1 or higher installed