Formalizing Julia in Lean

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