fe50f42204
Model: sstoica12/acquisition_metamath_qwen3b_IF_proximity_5000_combined_metamath Source: Original Platform
4 lines
135 B
Plaintext
4 lines
135 B
Plaintext
version https://git-lfs.github.com/spec/v1
|
|
oid sha256:2728a1a0d316cc8d5fdf671092e1061318608617ce14ba02a97a11732e71cad6
|
|
size 4932949336
|