cff-version: 1.2.0
message: "Please cite the exact software release or commit you use; release v0.1.0 predates the all-orders auxiliary theorem and conditional transfer."
title: "Total Coloring Lean"
type: software
version: 0.2.0
date-released: 2026-10-18
doi: 10.5281/zenodo.23452513
identifiers:
  - type: doi
    value: 10.5281/zenodo.23452514
    description: "Zenodo DOI of release v0.2.0 (this version)"
  - type: doi
    value: 10.5281/zenodo.23452513
    description: "Zenodo concept DOI (all versions)"
authors:
  - family-names: Chen
    given-names: Le
  - family-names: Shan
    given-names: Songling
repository-code: "https://github.com/chenle02/total-coloring-lean"
url: "https://github.com/chenle02/total-coloring-lean"
license: Apache-2.0
keywords:
  - formal verification
  - graph coloring
  - Lean 4
  - total coloring