We rewrote an ML Framework* in Lean, (and yes it is faster*) #1 Post by hargup » Tue, Jun 30, 2026, 3:02 PM UTC We rewrote an ML Framework* in Lean, (and yes it is faster*)theoric.com