amitayusht
/

ProofWala-Multilingual

Text2Text Generation

theorem-proving

Model card Files Files and versions Community

ProofWala-Multilingual

Commit History

Update README.md

fba72ea
verified

amitayusht commited on Feb 9

Update README.md

4e59751
verified

amitayusht commited on Feb 9

Update README.md

be9e78a
verified

amitayusht commited on Feb 9

Update README.md

dd7acb7
verified

amitayusht commited on Feb 9

Upload folder using huggingface_hub

cfa7f0b
verified

amitayusht commited on Feb 9

initial commit

aec8e28
verified

amitayusht commited on Feb 9