cockerel dev 1.0

cockerel is a lesson planner and prover for math classes.<br /><br />Requires you have Coq 8.2pl1 or higher installed.<br /><br /><br />Cockerel is a web based interactive mathematical lesson planner. It allows instructors to create mathematical lesson plans using wiki markup and then assign these to students.<br /><br />This code base will be extremely unstable over the summer. If you plan on using it send me a message.<br /><br />Instructions for Installing<br /><br />If you would like to run this software you must have Coq >= 8.2pl1 installed. Please see the Coq site for installation details; http://coq.inria.fr<br /><br />You must also have Python >= 2.6.5 installed on your system. Please see the project documentation for installation details; http://www.python.org/download<br /><br />Once you have satisified these dependencies, you can continue with installation. I strongly recommend using the virtualenv project for managing the python namespace. Assuming you have a project python install with setuptools, you can create a new virutalenv around the project directory to install into. This can be done with:<br /><br /> virutalenv some_env_path<br /> . some_env_path/bin/activate<br /> easy_install cockerel<br /><br />To start Cockerel run<br /><br /> cockerel<br /><br />To start Coqd run<br /><br /> coqd<br /><br />The Cockerel webpage will be at http://localhost:5000 by default

Requirements:	No special requirements
Platforms:	*nix, Linux
Keyword:	82pl1,  Assuming,  Cockerel,  Cockerel Dev,  Cockerelto,  Create,  Details,  Dev,  Higher,  Install,  Installation,  Installed,  Lesson,  Mathematical,  Planner,  Project,  Python,  Start,  Virutalenv
Users rating:	0/10