rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

lean_byt5 / pytorch_model.bin

Commit History

Upload folder using huggingface_hub

7a30589
verified

rahul3613 commited on 4 days ago