Formalizing Julia in Lean (and finding 400 bugs in Base)

3 points | by yurivish 5 hours ago