Blueprint Lean Status Chip Wiring

 Blueprint Lean Status Chip Wiring🔗

Compiled2026-05-06T13:19:19ZProject5480f6aMerge pull request #37 from leanprover/feat/reference-catalog-pagesLeanleanprover/lean4:v4.30.0-rc2VersoBlueprint5480f6a
Definition8
✓L∃∀Nused by 0

Statement with proved Lean code.

Lean code for Definition8def previewStatusProved : Nat := 0
Definition9
⚠L∃∀Nused by 0

Statement with Lean code containing sorry.

Lean code for Definition9theorem declaration uses `sorry`previewStatusSorry : True := ⊢ True All goals completed! 🐙
Definition10
AL∃∀Nused by 0

Statement with axiom-like Lean code.

Lean code for Definition10axiom previewStatusAxiom : True
Definition11
XL∃∀Nused by 0

Statement without Lean code.