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