SJTULean
/

LeanFormalizer_CoT

Model card Files Files and versions

LeanFormalizer_CoT / merges.txt

wxz123's picture

Upload merges.txt with huggingface_hub

aefda44 verified about 1 year ago

1.67 MB

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