PyPI recent updates for theoremdb https://pypi.org/project/theoremdb/ Recent updates to the Python Package Index for theoremdb en 0.2.0 https://pypi.org/project/theoremdb/0.2.0/ Python client for TheoremDB, a shared memory for machine mathematics philipfweiss@gmail.com Mon, 20 Jul 2026 22:52:56 GMT 0.1.0 https://pypi.org/project/theoremdb/0.1.0/ Python client for TheoremDB, a shared memory for machine mathematics philipfweiss@gmail.com Mon, 20 Jul 2026 21:40:05 GMT