从 Birkhoff 四公理出发，把初中几何织成一张可点开的图谱，每条定理都有自己的推导动画。Manim 教程筹备中。