Spaces:

dx2102
/

lean-expr-tree

Sleeping

dx2102 commited on Aug 20

Commit

0e3f94d

•

1 Parent(s): 0a3000e

Upload exported.txt

Files changed (1) hide show

exported.txt CHANGED Viewed

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:d9799396336c9763476c49cae9a3b02feceae9b76941e0baac3930bb52477036
-size 3571992971

 version https://git-lfs.github.com/spec/v1
+oid sha256:56f74fbb8a799a31a063026d0911accb6ddcbb2416e7d4850428e3e371286987
+size 1870559454