U-WIN/equational-theory-lean2nl-references-gpt-approved-v2-rubric Viewer • Updated 11 days ago • 2.18k • 162