SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

LeanFormalizer_CoT / README.md

Commit History

Improve language tag

fe6ed9a
verified

lbourdois commited on Apr 28, 2025

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