total-coloring-lean
Copyright 2026 Le Chen

This product includes software developed by Le Chen and contributors,
released under the Apache License, Version 2.0 (see LICENSE).