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