We rewrote an ML Framework* in Lean, (and yes it is faster*)theoric.com2 points·hargup··0 commentsOpen articleSaveView on HN