PyPI recent updates for proving-machine https://pypi.org/project/proving-machine/ Recent updates to the Python Package Index for proving-machine en 0.0.2 https://pypi.org/project/proving-machine/0.0.2/ A machine that proves validity of statements. machina.ratio@gmail.com, alex.fedotov@aol.com Wed, 16 Sep 2026 19:44:17 GMT 0.0.1 https://pypi.org/project/proving-machine/0.0.1/ A machine that proves validity of statements. machina.ratio@gmail.com, alex.fedotov@aol.com Wed, 16 Sep 2026 19:39:04 GMT