Cockerel: A simpler Proof Checker

I'll be working on the Cockerel web-based proof checker for Google Summer of Code. It is specifically designed to make proof writing and verification a productive process for introductory students. Portland State University is providing mentoring and an initial deployment for this system. The project gets it name from the backend logic engine, Coq. You can track my progress from the project git repo.

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