File size: 1,290 Bytes
6c3fe2a | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | {
"artifacts": {
"official-current.tar.gz": {
"sha256": "b144a1051b840f4b7f59428151ba8bf6f27e7665a3b9f950d165c39055ef2315",
"url": "https://github.com/Purewhite2019/formal_problem_solving_main/archive/3e8bafd18a080fe01263ff93b9c3db78d993e1a1.tar.gz"
},
"official-initial.tar.gz": {
"sha256": "cef6b9340b797355ab6e3fb425ee02a1e6c2cc7b76eff6fc77d79bf6e99753fe",
"url": "https://github.com/Purewhite2019/formal_problem_solving_main/archive/39489d1f0c32b521845429e1cb26c48639d8f823.tar.gz"
},
"paper-source.tar": {
"sha256": "b08c84c35b90d0128fc6ff512b60b07ead29ef6de847c8834948df660b00034a",
"url": "https://arxiv.org/e-print/2505.04528v1"
},
"paper.pdf": {
"sha256": "bba3d0293dda50476bd07d7dab987d4ed5ded4fa21132837f35c4feff72403e3",
"url": "https://arxiv.org/pdf/2505.04528v1"
}
},
"arxiv": "2505.04528v1",
"lean_compilation_executed": false,
"official_current_commit": "3e8bafd18a080fe01263ff93b9c3db78d993e1a1",
"official_initial_release_commit": "39489d1f0c32b521845429e1cb26c48639d8f823",
"paper_id": "hgMZraPlSv",
"scope": "Lean/Pantograph source pinned and structurally audited; exact finite semantics, complete official export, and complete initial-release result rescoring executed."
}
|