König’s Edge-Coloring Theorem formalization package
Copyright 2026 Advameg, Inc.

This product includes software developed for ProofAtlas.