v.1.0.9

• automatic build to keep documentation up-to-date on readthedocs
• standardized python implementation of inference-rules with one declaration class and one inclusion class
• one sample python script per inference-rule to show
• improved continuous integration scripts to further automate the development process
• miscellaneous bug fixing

minimum viable product

• draft documentation on readthedocs
• initial catalog of inference rules
• theory: first chapter of tao 2006 - the peano axioms
• output: plaintext + unicode (not yet latex)
• initial set of samples

v0.1.0-alpha

Development of a minimum viable product (mvp) version of the punctilious package.