Published proof graph

Awkronos Proof Observatory

8,206 declarations · 5,149 theorems across 10 waddles. This cached Lean graph supports structural navigation; the snapshot itself is not a live verification result.snapshot 7d ago

Topology coverage: 3,942 of 39,194 harvested edges connect declarations in this snapshot; 35,252 reference declarations outside it and 0 have ambiguous duplicate endpoints.

Verifier status —Structural graph browsing remains available

8,206source-mapped

—verifier projects

tier

waddle

kind

330 / 8,206 shown

+230 more — narrow with filters