SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions Community

LeanFormalizer_CoT / vocab.json

wxz123's picture

Upload vocab.json with huggingface_hub

51aa13f verified 3 months ago

history contribute delete

2.78 MB

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