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