Hugging Face's logo

amitayusht
/
ProofWala-Lean

Text Generation
PyTorch
t5
code
mathematics
theorem-proving
text2text-generation
Model card Files
xet
Community
1
ProofWala-Lean
3.61 GB
  • 1 contributor
 History: 6 commits
SFconvertbot's picture
SFconvertbot
Adding `safetensors` variant of this model
509aab2 verified