SJTULean
/

LeanFormalizer_SFT

Model card Files Files and versions

LeanFormalizer_SFT / vocab.json

wxz123's picture

Upload vocab.json with huggingface_hub

7fdc714 verified about 1 year ago

history contribute delete

2.78 MB

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