Upload Isabelle.zip with huggingface_hub
Browse files- Isabelle.zip +3 -0
Isabelle.zip
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:c36e770770ce55b80c71da6d9ae9d130e0f1abc7ec621855aff7bfcf9752bc14
|
| 3 |
+
size 58704398
|