SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions Community

LeanFormalizer_CoT / .gitattributes

Commit History

Upload tokenizer.json with huggingface_hub

8a84bfc
verified

wxz123 commited on Dec 25, 2024

initial commit

672cf83
verified

wxz123 commited on Dec 24, 2024