amitayusht
/

ProofWala-Lean

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

Commit History

Update README.md

eb267d1
verified

amitayusht commited on Feb 9, 2025

Create README.md

90af55b
verified

amitayusht commited on Feb 9, 2025

Added license

e1d28a1
verified

amitayusht commited on Feb 9, 2025

Upload folder using huggingface_hub

a1abe68
verified

amitayusht commited on Feb 9, 2025

initial commit

6abac1a
verified

amitayusht commited on Feb 9, 2025