amitayusht
/

ProofWala-Lean

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

ProofWala-Lean / README.md

Commit History

Update README.md

eb267d1
verified

amitayusht commited on Feb 9, 2025

Create README.md

90af55b
verified

amitayusht commited on Feb 9, 2025