MDL Morphism Atlas
Erdos Problem Corpus — Full Structural Map
Problems: —
Morphism Edges: —
MDL Morphisms: —
Lean 4 Proofs: —
Strategy Transfers: —
Edge Threshold:
0.00
Repulsion:
160
Auto-rotate
Show labels
Color by audit status
Show strategy transfers
Highlight Lean proofs
Audit Status
Aligned
Partial
No Match
Lean Status
Verified (0 sorry)
Has Lean files
Domain
Number Theory
Combinatorics
Graph Theory
Geometry
Analysis
Edges
Morphism edge
Strategy transfer
Size
Node size = morphisms + proofs + transfers
×
Click node to inspect · Scroll to zoom · Drag to rotate · Right-drag to pan