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

(discourse.julialang.org) by anewhnaccount2 | Nov 10, 2026 | 0 comments on HN