rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

1.59 kB

Ctrl+K

Ctrl+K

2 contributors

History: 2 commits

rahul3613's picture

Create README.md

3d099c3 verified 4 months ago