Lean Verified Transformers

4 points | by matt_d an hour ago