Files
mistral-7B-v0.3-lean-prover…/model-00003-of-00003.safetensors

4 lines
135 B
Plaintext
Raw Permalink Normal View History

version https://git-lfs.github.com/spec/v1
oid sha256:6447c42937f1a272c76198349cd1b686d59d2d8d7fc9676c1299f0fb96ea24ff
size 4546807800