FrenzyMath
/

LeanSearch-PS

Model card Files Files and versions

Commit History

feat(szj): init repo

1d32d2b

simon2011 commited on Jul 2, 2025

initial commit

a2799c1
verified

simon2011 commited on Jul 2, 2025