SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions Community

LeanFormalizer_CoT / README.md

Commit History

Update README.md

9af3f52
verified

Inuyasha2023ch commited on Dec 25, 2024

Update README.md

aef1516
verified

Inuyasha2023ch commited on Dec 25, 2024

initial commit

672cf83
verified

wxz123 commited on Dec 24, 2024