Versions

Description

Python front end to the Coq prover.

Repository

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

Project Slug

cockerel

Last Built

No builds yet

Maintainers

Home Page

https://github.com/dcolish/Cockerel

Badge

Tags

coq, python

Short URLs

cockerel.readthedocs.io
cockerel.rtfd.io

Default Version

latest

'latest' Version

master