PyPI recent updates for proven https://pypi.org/project/proven/ Recent updates to the Python Package Index for proven en 0.9.0 https://pypi.org/project/proven/0.9.0/ Code that cannot crash - verified safety functions from Idris 2 hyperpolymath@proton.me Fri, 16 Jan 2026 21:16:58 GMT