Files
lean4-autoformalizer-sft/model.safetensors

4 lines
136 B
Plaintext
Raw Normal View History

version https://git-lfs.github.com/spec/v1
oid sha256:310840793b39a1d70a5008cbfa1b793c805b0f9a7816a6408c8c79bda549cc4a
size 15231272152