cockerel · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

Simplified Theorem Checker for the Web

Classifiers

Development Status: 2 - Pre-Alpha
Environment: Console; Web Environment
Intended Audience: Education
License: OSI Approved :: BSD License
Operating System: Unix
Programming Language: Python; Python :: 2; Python :: 2.6; Python :: 2.7
Topic: Internet :: WWW/HTTP :: Dynamic Content

Project description

A Lesson Planner and Prover for Math Classes. Requires you have Coq 8.2pl1 or higher installed

Links

Project details

Classifiers

Development Status: 2 - Pre-Alpha
Environment: Console; Web Environment
Intended Audience: Education
License: OSI Approved :: BSD License
Operating System: Unix
Programming Language: Python; Python :: 2; Python :: 2.6; Python :: 2.7
Topic: Internet :: WWW/HTTP :: Dynamic Content

Release history Release notifications

This version

History Node

dev pre-release

Jul 12, 2010

Supported by

Elastic

Pingdom

Pingdom Monitoring

Google

Google BigQuery

Sentry

Sentry Error logging

AWS

AWS Cloud computing

DataDog

DataDog Monitoring

Fastly

SignalFx

SignalFx Supporter

DigiCert

DigiCert EV certificate

StatusPage

StatusPage Status page