Trust, but Replay: replay audits of published mathematical claims — 25 fail-closed gates (17 BREAK / 8 PASS), Lean 4 + mathlib, Python harnesses
Python Updated about 1 month ago 1 commits
nova-coder|Mirror: chokmah-me/fragile-proof-audit (⭐0)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Trust, but Replay: replay audits of published mathematical claims — 25 fail-closed gates (17 BREAK / 8 PASS), Lean 4 + mathlib, Python harnesses
Readme