ScalableMath
/

Lean-STaR-plus

Feature Extraction

Model card Files Files and versions Community

Lean-STaR-plus / .gitattributes

Commit History

first commit

082c2e0

Noogal commited on Jul 12

initial commit

e73d23e
verified

Noogal commited on Jul 12