Formalizing Julia in Lean

(discourse.julialang.org)

1 points | by aseg 6 hours ago ago