Preview Runtime Showcase

 Preview Runtime Showcase🔗

Compiled2026-05-06T12:25:12ZProject2dd1f6dMerge pull request #35 from leanprover/feat/entry-build-metadataLeanleanprover/lean4:v4.30.0-rc2VersoBlueprint2dd1f6d

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. Group Previews
  4. 4. Preview Relationships
  5. 5. Inline Hover Previews
  6. Dependency Graph
  7. Blueprint Summary