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

(discourse.julialang.org)

3 points | by yurivish 4 hours ago ago