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

 (discourse.julialang.org)

3 points | by yurivish 5 hours ago ago

No comments yet.