https://pypi.org/project/certo-math/ Recent updates to the Python Package Index for certo-math en https://pypi.org/project/certo-math/0.17.0/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Thu, 24 Sep 2026 23:11:25 GMT https://pypi.org/project/certo-math/0.16.0/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Thu, 24 Sep 2026 02:28:08 GMT https://pypi.org/project/certo-math/0.15.2/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Wed, 23 Sep 2026 20:07:10 GMT https://pypi.org/project/certo-math/0.15.1/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Wed, 23 Sep 2026 18:42:39 GMT https://pypi.org/project/certo-math/0.15.0/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Wed, 23 Sep 2026 17:09:38 GMT https://pypi.org/project/certo-math/0.13.0/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Tue, 22 Sep 2026 01:42:39 GMT https://pypi.org/project/certo-math/0.12.1/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Mon, 21 Sep 2026 16:59:34 GMT https://pypi.org/project/certo-math/0.12.0/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Mon, 21 Sep 2026 00:29:15 GMT https://pypi.org/project/certo-math/0.11.7/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Sun, 20 Sep 2026 16:45:59 GMT https://pypi.org/project/certo-math/0.11.6/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Sun, 20 Sep 2026 15:57:05 GMT https://pypi.org/project/certo-math/0.11.5/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Sun, 20 Sep 2026 02:56:51 GMT https://pypi.org/project/certo-math/0.11.4/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Sat, 19 Sep 2026 05:19:34 GMT https://pypi.org/project/certo-math/0.11.3/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Fri, 18 Sep 2026 21:13:22 GMT https://pypi.org/project/certo-math/0.11.2/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Fri, 18 Sep 2026 20:22:52 GMT https://pypi.org/project/certo-math/0.11.1/ Certificates for the work before the proof: decide, enumerate, optimise, reduce and certify -- and re-check it all without trusting the tool. CLI + MCP. Fri, 18 Sep 2026 17:54:05 GMT