Skip to content

Visualization Gallery

A single-page index of every mermaid diagram and theorem illustration used across the site, in one place, for reference.

Contents

A meta-view of the whole story

About these diagrams

All diagrams are rendered with Mermaid via vitepress-plugin-mermaid. They are regenerated on each build, so any edit to a .md file propagates immediately — there is no separate asset step.

The Defense Trilemma · mechanically verified in Lean 4 (46 files, ≈360 theorems, 0 sorry).