SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

LeanFormalizer_CoT / vocab.json

wxz123's picture

Upload vocab.json with huggingface_hub

51aa13f verified over 1 year ago

2.78 MB

File too large to display, you can check the raw version instead.