srush / lean-transformer
git clone https://github.com/srush/lean-transformer.git
Blog on formalizing key transformer invariants.
+0
stars, 24h · #27,871
+~0
stars, 7 days · #28,346
+~0
stars, 30 days · #34,699
25
★ total
3
forks · 0 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-09-11 (1mo ago)
Last push1mo ago
OwnerUser