{ "info": { "author": "Dan Colish", "author_email": "dcolish@gmail.com", "bugtrack_url": null, "classifiers": [ "Development Status :: 2 - Pre-Alpha", "Environment :: Console", "Environment :: Web Environment", "Intended Audience :: Education", "License :: OSI Approved :: BSD License", "Operating System :: Unix", "Programming Language :: Python", "Programming Language :: Python :: 2", "Programming Language :: Python :: 2.6", "Programming Language :: Python :: 2.7", "Topic :: Internet :: WWW/HTTP :: Dynamic Content" ], "description": "Cockerel\n--------------------\nA Lesson Planner and Prover for Math Classes.\nRequires you have Coq 8.2pl1 or higher installed\n\nLinks\n`````\n\n* `documentation `_\n* `development version\n `_", "description_content_type": null, "docs_url": "https://pythonhosted.org/cockerel/", "download_url": "UNKNOWN", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "http://www.github.com/dcolish/cockerel", "keywords": null, "license": "BSD", "maintainer": null, "maintainer_email": null, "name": "cockerel", "package_url": "https://pypi.org/project/cockerel/", "platform": "any", "project_url": "https://pypi.org/project/cockerel/", "project_urls": { "Download": "UNKNOWN", "Homepage": "http://www.github.com/dcolish/cockerel" }, "release_url": "https://pypi.org/project/cockerel/dev/", "requires_dist": null, "requires_python": null, "summary": "Simplified Theorem Checker for the Web", "version": "dev" }, "last_serial": 802828, "releases": { "dev": [] }, "urls": [] }