https://pypi.org/project/py-veripy/ Recent updates to the Python Package Index for py-veripy en https://pypi.org/project/py-veripy/0.1.1/ A production-ready auto-active verification system for Python, similar to Dafny and Verus rainoftime@gmail.com Tue, 21 Jul 2026 11:24:57 GMT https://pypi.org/project/py-veripy/0.1.0/ A production-ready auto-active verification system for Python, similar to Dafny and Verus rainoftime@gmail.com Tue, 21 Jul 2026 11:24:18 GMT