Formalizing #CPython - #AI agents wrote 613,318 lines of #Lean that copy #Python's internals line by line, tested every piece against the real Python, had a computer check every proof, and turned up 418 bug reports in Python along the way https://broyojo.com/python-formalization/
