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
9012508

Commits on Jul 6, 2026

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

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

lhyundeadsoul
and
claude
committed
0cb9865

Commits on Jul 9, 2026

Extract real concept summaries and doc links from mathlib4 source

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

lhyundeadsoul
and
claude
committed
4d28540