D discourse.julialang.org Formalizing Julia in Lean (and finding 400 bugs in Base) 4 points yurivish 5 days ago 0 comments
