PyPI recent updates for cockerel https://pypi.tw.martin98.com/project/cockerel/ Recent updates to the Python Package Index for cockerel en dev https://pypi.tw.martin98.com/project/cockerel/dev/ Simplified Theorem Checker for the Web dcolish@gmail.com Mon, 12 Jul 2010 03:46:25 GMT