amitayusht
/

ProofWala-Lean

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

ProofWala-Lean / README

Commit History

Added license

e1d28a1
verified

amitayusht commited on Feb 9, 2025