Add gautam_domain_formal_mathematics___theorem_p.safetensors
Browse files
gautam_domain_formal_mathematics___theorem_p.safetensors
ADDED
|
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:b91b0e269762d3a5aff48d731f36d41f0608e9a0312f825ef39ee9c5f96c59b9
|
| 3 |
+
size 148648
|