amitayusht
/

ProofWala-Lean

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions Community

File size: 20 Bytes

e1d28a1

---
license: mit
---