We rewrote an ML Framework* in Lean, (and yes it is faster*)

(theoric.com)

2 points | by hargup 4 hours ago ago

No comments yet.