Lean Blueprint
A curated, redacted system map of the Lean-based stack. This dashboard aligns with Lean Blueprint community standards: dependency graphs, status legend, Mathlib anchors, and public evidence without exposing proof scripts or proprietary implementation detail.
System Map
System map with public nodes, Mathlib anchors, and redacted internal counts. Switch to 3D mode for an orbitable dependency view.
Lean Blueprint Dependency Graph
Auto-generated blueprint dependency graph built from the Heyting-dev Lean Blueprint toolchain. The graph includes directed arrows and mirrors the formal blueprint structure.
Status Matrix
0 public nodesLoading status matrix...
Registries
Loading registries...
Disclosure Levels
Loading disclosure policy...
Lean References
Verified pathways, ontology grounding, and community resources used to validate the public blueprint.
Verified Compilation: Lean to C (Proof-Carrying Pipeline)
A minimal-trust pathway from formal specification to executable artifacts.
Grounding Choice: How Generative Dynamics Replace Axioms
A rule-first approach to emergence and ontology for computation.
Lean Blueprint Dependency Graphs
Directed dependency graphs inspired by community blueprint tooling.
Mathlib Documentation
Public Lean library index and reference material.
Lean Declaration Dictionary
0 indexedLoading declaration dictionary...
Subbooks
Drill into category-specific views, project clusters, and validation-ready packets.
Glossary
Loading glossary...