https://pypi.org/project/leancode/ Recent updates to the Python Package Index for leancode en https://pypi.org/project/leancode/0.1.0/ Formally verified AI code generation: natural language -> code + proof -> verified binary sushaan@users.noreply.github.com Wed, 08 Apr 2026 18:35:23 GMT