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

(discourse.julialang.org)

4 points | by anewhnaccount2 8 hours ago ago