Preview Runtime Showcase

 Preview Runtime Showcase🔗

Compiled2026-07-01T21:42:52ZProject5f17f8aMerge pull request #222 from leanprover/chore/reference-blueprints-catalog-all-v4.30.0-v4.31.0Leanleanprover/lean4:v4.31.0VersoBlueprint5f17f8a

This small in-repo Blueprint is dedicated to rendering and preview regressions. It intentionally avoids pulling in a domain-specific proof corpus so browser and generator checks can run against a focused, synthetic site.

Contents

  1. 1. Core Previews
  2. 2. Code Panels
  3. 3. Custom Render Client
  4. 4. External Declaration Heading Repro
  5. 5. Group Previews
  6. 6. Preview Relationships
  7. 7. Inline Hover Previews
  8. Dependency Graph
  9. Blueprint Summary