8576af7502
Model: LukeBailey181/goedel_prover_v2_8b_conjecturer_finetuned_FROM_LOCAL Source: Original Platform
4 lines
136 B
Plaintext
4 lines
136 B
Plaintext
version https://git-lfs.github.com/spec/v1
|
|
oid sha256:01d810607711c70f0ee50e93424931df8096e5aea1e8cfac3a9e4614492b7ef6
|
|
size 16381517208
|