rahul3613
/

lean_byt5_aug

theorem-proving

Model card Files Files and versions

lean_byt5_aug / .gitattributes

Commit History

initial commit

ea18a6a
verified

rahul3613 commited on 3 days ago