SJTULean
/

LeanFormalizer_SFT

Model card Files Files and versions

LeanFormalizer_SFT / .gitattributes

Commit History

Upload tokenizer.json with huggingface_hub

90bbbbd
verified

wxz123 commited on Dec 25, 2024

initial commit

d03c492
verified

wxz123 commited on Dec 24, 2024