Formally verified polygon intersection

这个项目做的是多边形相交算法的形式化验证，重点不在 UI 或性能包装，而在证明几何实现满足预期性质。README 还记录了 AI agent 辅助证明的过程，因此它同时是一个 verified geometry artifact 和一个“agent 帮助写证明”的案例。