Blueprint Lean Status Chip Wiring

 Blueprint Lean Status Chip Wiring🔗

Compiled2026-07-01T21:39:44ZProject5f17f8aMerge pull request #222 from leanprover/chore/reference-blueprints-catalog-all-v4.30.0-v4.31.0Leanleanprover/lean4:v4.31.0VersoBlueprint5f17f8a
Definition13
uses 0used by 0✓L∃∀N

Statement with proved Lean code.

Lean code for Definition13def previewStatusProved : Nat := 0
Definition14
uses 0used by 0⚠L∃∀N

Statement with Lean code containing sorry.

Lean code for Definition14theorem declaration uses `sorry`previewStatusSorry : True := ⊢ True All goals completed! 🐙
Definition15
uses 0used by 0AL∃∀N

Statement with axiom-like Lean code.

Lean code for Definition15axiom previewStatusAxiom : True
Definition16
uses 0used by 0XL∃∀N

Statement without Lean code.