Formalizing Julia in Lean (and finding 400 bugs in Base)discourse.julialang.org6 points·yurivish··0 commentsOpen articleSaveView on HN