Hugging Face's logo

rahul3613
/
lean_byt5

PyTorch
Safetensors
English
t5
theorem-proving
lean
byt5
mathematics
code
Model card Files
xet
Community
1
lean_byt5 / .gitattributes

Commit History

initial commit
8264b0e
verified

rahul3613 commited on