{"type": "article", "title": "We rewrote an ML Framework* in Lean, (and yes it is faster*)", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/we-rewrote-an-ml-framework-in-lean-and-yes-it-is-faster", "original_source": "https://theoric.com/blog/we-rewrote-tinygrad-in-lean/", "published": "2026-06-30T15:02:19+00:00", "accessed": "2026-06-30", "id": "we-rewrote-an-ml-framework-in-lean-and-yes-it-is-faster"}