#base

Lean formalization of Julia Base surfaces hundreds of bugs

Miles Cranmer modeled concrete Base types and docstring promises as Lean theorems, filing 75 filtered reports after AI-assisted proof attempts failed.