SJTULean
/

LeanFormalizer_SFT

Model card Files Files and versions

LeanFormalizer_SFT / merges.txt

wxz123's picture

Upload merges.txt with huggingface_hub

b0c1b36 verified about 1 year ago

history contribute delete

1.67 MB

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