Why not proof.py?

[NiklasRosenstein]

Any reason the library is a package and not a single Python module?

[onyxfish]

To be honest, I never considered doing it another way, but if I needed a reason it's because I like to have the flexibility to divide classes into separate modules as the code base matures and becomes more complex.

Is there a particular reason you were prefer it to be packaged as a module?

[NiklasRosenstein]

Just a personal preference, keeping tight things tight. Was wondering if you had a special reason other than personal preference. ;)