rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

lean_byt5 / special_tokens_map.json

Commit History

Upload folder using huggingface_hub

7a30589
verified

rahul3613 commited on 4 days ago