Formalizing Julia in Lean

1 points | by aseg 7 hours ago