Lean Verified TransformersBy matt_d · 2026-09-22 · 4 points · 0 commentshttps://srush.github.io/lean-transformer/By matt_d · 4 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews