https://pypi.org/project/provepy/ Recent updates to the Python Package Index for provepy en https://pypi.org/project/provepy/0.1.2/ A python decorator that autoformalizes and formally verifies python code using Lean 4 and LLMs spaccy05@gmail.com Fri, 10 Apr 2026 13:55:12 GMT