Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
amitayusht
/
ProofWala-Coq
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-Coq
Commit History
Update README.md
7c15213
verified
amitayusht
commited on
Feb 9, 2025
Update README.md
2d4f9ea
verified
amitayusht
commited on
Feb 9, 2025
Upload folder using huggingface_hub
2c6bbd1
verified
amitayusht
commited on
Feb 9, 2025
initial commit
f422d5e
verified
amitayusht
commited on
Feb 9, 2025