https://pypi.org/project/minilaws/ Recent updates to the Python Package Index for minilaws en https://pypi.org/project/minilaws/0.5.0/ Curry-Howard for AI-edited Python: the AI writes code and proofs, a tiny kernel checks them, the laws stay human-owned Thu, 08 Oct 2026 13:29:37 GMT https://pypi.org/project/minilaws/0.4.0/ Curry-Howard for AI-edited Python: the AI writes code and proofs, a tiny kernel checks them, the laws stay human-owned Wed, 07 Oct 2026 17:57:16 GMT https://pypi.org/project/minilaws/0.3.0/ Curry-Howard for AI-edited Python: the AI writes code and proofs, a tiny kernel checks them, the laws stay human-owned Wed, 07 Oct 2026 16:53:23 GMT https://pypi.org/project/minilaws/0.2.0/ Curry-Howard for AI-edited Python: the AI writes code and proofs, a tiny kernel checks them, the laws stay human-owned Tue, 06 Oct 2026 19:48:29 GMT https://pypi.org/project/minilaws/0.1.0/ Curry-Howard for AI-edited Python: the AI writes code and proofs, a tiny kernel checks them, the laws stay human-owned Tue, 06 Oct 2026 13:48:38 GMT