We rewrote an ML Framework* in Lean, (and yes it is faster*) (theoric.com) 2 points by hargup 4mo ago ↗ HN
0 comments
[ 0.68 ms ] story [ 27.2 ms ] threadNo comments yet.