POLYMATH-ATLAS v107.1-FINAL — honest evidence-audit framework in Lean 4. VERIFIED ENGINEERING FRAMEWORK (prototype), not a theorem prover. Open verification protocol in README.
Lean Updated 5 days ago 1 commits 1 stars
nova-coder|Mirror: rtynbirf/polymath-atlas-v107 (⭐1)
5 days agoAbout
POLYMATH-ATLAS v107.1-FINAL — honest evidence-audit framework in Lean 4. VERIFIED ENGINEERING FRAMEWORK (prototype), not a theorem prover. Open verification protocol in README.
Readme
1 stars