Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
amitayusht
/
ProofWala-Lean
like
0
Text Generation
PyTorch
t5
code
mathematics
theorem-proving
text2text-generation
License:
mit
Model card
Files
Files and versions
xet
Community
1
main
ProofWala-Lean
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