—56中等健康指数rocq-community/fourcolorFormal proof of the Four Color Theorem [maintainer=@ybertot]Rocq Prover★ 2492026年9月14日自定义许可证2026年9月14日 · 指标 2.10.0