amitayusht
/

ProofWala-Multilingual

Text2Text Generation

theorem-proving

Model card Files Files and versions Community

ProofWala-Multilingual / merges.txt

amitayusht's picture

Upload folder using huggingface_hub

cfa7f0b verified about 2 months ago

history contribute delete

294 kB

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