Meta Pvsnp Platonic — ASSUMPTION LEDGER

Dr. Tamás Nagy Short Draft Formal Verification Lean-Verified

Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.

Length

3,715 words

Claims

1 theorems

Status

Unknown

Connects To