UNSOLVEDformalRecognition onlyauto verify
Formal v0.1 — Nat.add_zero
Living Verified Campaign (formal): prove that for every natural number n, n + 0 = n. Machine-checked Lean 4; recognition only — no bounty.
Directive & Constraints
Submit a complete Lean 4 theorem named vanyx_campaign_submission with exact type: ∀ n : Nat, n + 0 = n. No sorry/admit/axiom/native_decide. Recognition is non-monetary.
Frozen theorem
For every natural number n, n + 0 equals n.
Take on this Campaign
Launch a research workspace — reason with Vera, run simulations, and submit verified work to the Ledger.
Members — 0
No members yet.