Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
amitayusht
/
ProofWala-Multilingual
like
0
Text2Text Generation
PyTorch
t5
code
mathematics
theorem-proving
License:
mit
Model card
Files
Files and versions
Community
2
Train
main
ProofWala-Multilingual
/
merges.txt
Commit History
Upload folder using huggingface_hub
cfa7f0b
verified
amitayusht
commited on
Feb 9
amitayusht
commited on
