Update graph based on the latest mathlib and Implement a 3D version of math kingdom#14

Open

lhyundeadsoul wants to merge 5 commits into

Crispher:mainfrom

lhyundeadsoul:main

Commits on Jul 5, 2026

Merge pull request #1 from Crispher/main
lhyundeadsoul
authored

Commits on Jul 6, 2026

Update mathlib4 import graph data and fix dot parser for isolated nodes

lhyundeadsoul
and
claude
committed
Add mathematical kingdom 3D map data generation module

lhyundeadsoul
and
claude
committed

Commits on Jul 9, 2026

Extract real concept summaries and doc links from mathlib4 source

lhyundeadsoul
and
claude
committed
Add self-contained 3D kingdom viewer and unified 2d/3d launcher

lhyundeadsoul
and
claude
committed