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

(discourse.julialang.org) by yurivish | Oct 26, 2026 | 0 comments on HN