Formalizing Julia in Lean (and finding 400 bugs in Base) (discourse.julialang.org) 1 points by yurivish 7d ago ↗ HN
0 comments
[ 0.34 ms ] story [ 8.4 ms ] threadNo comments yet.