rahul3613
/

lean_byt5

theorem-proving

Model card Files Files and versions

rahul3613 commited on 4 days ago

Commit

3d099c3

·

verified ·

1 Parent(s): 8264b0e

Create README.md

Files changed (1) hide show

README.md +7 -0

README.md ADDED Viewed

	@@ -0,0 +1,7 @@

+---
+license: apache-2.0
+language:
+- en
+base_model:
+- google/byt5-small
+---