Layoff
Formalizing Julia in Lean (and finding 400 bugs in Base)
yurivish·5h ago·discourse.julialang.org·3 points
Original Post · discourse.julialang.org
140243
Open embedded source →
https://discourse.julialang.org/t/formalizing-julia-in-lean-and-finding-400-bugs-in-base/140243