Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
AK123321
/
pl-leancopilot-1
like
0
License:
mit
Model card
Files
Files and versions
xet
Community
main
pl-leancopilot-1
1.74 GB
1 contributor
History:
3 commits
AK123321
Rename mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt to model.ckpt
c4c9da9
verified
over 1 year ago
.gitattributes
1.52 kB
initial commit
over 1 year ago
README.md
24 Bytes
initial commit
over 1 year ago
model.ckpt
1.74 GB
xet
Rename mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt to model.ckpt
over 1 year ago
