Formalizing Julia in Lean (and finding 400 bugs in Base) (discourse.julialang.org) 1 points by anewhnaccount2 2h ago ↗ HN
0 comments
[ 0.22 ms ] story [ 12.9 ms ] threadNo comments yet.