amitayusht
/

ProofWala-Coq

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

Commit History

Update README.md

7c15213
verified

amitayusht commited on Feb 9, 2025

Update README.md

2d4f9ea
verified

amitayusht commited on Feb 9, 2025

Upload folder using huggingface_hub

2c6bbd1
verified

amitayusht commited on Feb 9, 2025

initial commit

f422d5e
verified

amitayusht commited on Feb 9, 2025