Cockerel

The main web application

System Overview

Pre-Requisites

The Cockerel system is simple to install provided you have the following requirements satisfied:

• Ocaml >= 3.11
• Coq >= 8.2pl1
• Python >= 2.6
• Virtualenv
• Pip

For information on installing these see their respective sites.

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 virtualenv around the project directory to install into. This can be done with:

git clone git://github.com/dcolish/Cockerel.git

Then

virtualenv some_env_path . some_env_path/bin/activate python setup.py develop

To start Cockerel run

cockerel

To start Coqd run

coqd

The Cockerel webpage will be at http://localhost:5000 by default

API Reference

Indices and tables

• Index
• Module Index
• Search Page