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

(theoric.com) by hargup | Jun 30, 2026 | 0 comments on HN