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
/
tokenizer.json
Commit History
Upload folder using huggingface_hub
a1abe68
verified
amitayusht
commited on
Feb 9, 2025