Hugging Face's logo

AK123321
/
pl-leancopilot-1

Model card Files
xet
 Community
AK123321 commited on
Commit
89e3fbf
·
verified ·
1 Parent(s): 5cdc7dc

Upload mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt

Browse files
Files changed (1) hide show
  1. mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt +3 -0
mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:82a0697d72d5ac5bc7a6c0a32b9022c3961c732ad26325472c7ef67adb3b32d7
3
+ size 1741285972