Research-Stack/0-Core-Formalism/lean/LeanGPT/hypotheses_results.json

3 lines
128 B
JSON

version https://git-lfs.github.com/spec/v1
oid sha256:8c635110613e75699e6dbf54c3b2cc84b2c27ad5f654554230a37a2c493f8310
size 627