https://pypi.org/project/proofside/ Recent updates to the Python Package Index for proofside en https://pypi.org/project/proofside/0.1.0/ A small formal-verification sidecar for typed mathematical Python Fri, 04 Sep 2026 23:56:40 GMT