amitayusht
/

ProofWala-Lean

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

Commit History

Adding `safetensors` variant of this model

509aab2
verified

SFconvertbot commited on Mar 27, 2025

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