SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

LeanFormalizer_CoT / tokenizer_config.json

Commit History

Upload tokenizer_config.json with huggingface_hub

6317cca
verified

wxz123 commited on Dec 25, 2024