Upload mathlib4_28_0.jsonl with huggingface_hub
Browse files- .gitattributes +1 -0
- mathlib4_28_0.jsonl +3 -0
.gitattributes
CHANGED
|
@@ -39,3 +39,4 @@ mathlib4_24_0.index filter=lfs diff=lfs merge=lfs -text
|
|
| 39 |
mathlib4_28_0.index filter=lfs diff=lfs merge=lfs -text
|
| 40 |
mathlib4_19_0.jsonl filter=lfs diff=lfs merge=lfs -text
|
| 41 |
mathlib4_24_0.jsonl filter=lfs diff=lfs merge=lfs -text
|
|
|
|
|
|
| 39 |
mathlib4_28_0.index filter=lfs diff=lfs merge=lfs -text
|
| 40 |
mathlib4_19_0.jsonl filter=lfs diff=lfs merge=lfs -text
|
| 41 |
mathlib4_24_0.jsonl filter=lfs diff=lfs merge=lfs -text
|
| 42 |
+
mathlib4_28_0.jsonl filter=lfs diff=lfs merge=lfs -text
|
mathlib4_28_0.jsonl
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:c1f7d8dc0674368e364d793b63787dda346ff65acb5cdbae6bcbc55cd6da8bea
|
| 3 |
+
size 232034922
|