Vanyx
Home
Sign in to join
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 proof of: ∀ n : Nat, n + 0 = n. No sorry/admit/axiom. 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.