◈ LEANGRAPH · THEOREM DEPENDENCY UNIVERSE
3,051
THEOREMS
3,017
PROVED
34
SORRY
12
DOMAINS
γ₁ = 14.134725141734693
◈ LEAN CERTIFICATES
◈ MEEKGRAPH
◈ PSGRAPH / PEMGRAPHS
◈ PEMCLAU
◈ CATOMAIN
γ₁=14.134725141734693
⌖ RESET
◈ SORRY
RH
SEC
INFO
SORRY
DOMAINS
SELECTED THEOREM
click a node to inspect
GRAPH STATS
Proved rate
98.9%
Domains
12
Dependency edges
—
Max depth
—
γ₁ anchor
zeta_floor_gamma1
HOW TO READ
Node size = centrality
Edge = theorem A uses B
●
= sorry (open)
●
= proved (0 sorry)
Drag to pan · scroll to zoom
OPEN SORRIES (34)
DOMAIN MAP