This is a pre-production deployment of Warehouse, however changes made here WILL affect the production instance of PyPI.
neveln

neveln

Projects

proofcheck

Last released on Mar 7, 2012

Checks mathematical proofs written in TeX

Supported By

WebFaction WebFaction Technical Writing Elastic Elastic Search Pingdom Pingdom Monitoring Dyn Dyn DNS HPE HPE Development Sentry Sentry Error Logging CloudAMQP CloudAMQP RabbitMQ Heroku Heroku PaaS Kabu Creative Kabu Creative UX & Design Fastly Fastly CDN DigiCert DigiCert EV Certificate Rackspace Rackspace Cloud Servers DreamHost DreamHost Log Hosting