rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

lean_byt5 / README.md

Commit History

Update README.md

eaf57eb
verified

rahul3613 commited on 4 days ago

Update README.md

2716516
verified

rahul3613 commited on 4 days ago

Added paper details

5ac37e8
verified

rahul3613 commited on 4 days ago

Update README.md

f0c691d
verified

rahul3613 commited on 4 days ago

Update README.md

93692b9
verified

rahul3613 commited on 4 days ago

Create README.md

3d099c3
verified

rahul3613 commited on 4 days ago