Citation¶

GitHub exposes the repository's CITATION.cff through its Cite this repository interface.

Release boundary

Release v0.1.0 predates the all-orders auxiliary theorem, the conditional auxiliary-to-total transfer, and the terminal high-degree theorem. For the auxiliary theorem, cite exact commit 310b82c174ab2281581900897d4646875575e89b; for the composed transfer, cite 9bdcdec1a872ccef42cfd79e791fe39c22a1beeb; for TotalColoring.exists_valid_assignment_of_highDegree, cite merged main commit 0e938606f81e7a27a5925987824e7152f7dbb4c6 (exact verified tree 89a32c7a78e294a8b1484092ec79afaa3b4ace5a), or use a later release that actually contains the declaration you need.

Release DOI¶

Release v0.2.0 is archived on Zenodo as doi:10.5281/zenodo.23452514; the concept DOI doi:10.5281/zenodo.23452513 always resolves to the latest archived release.

@software{ChenShanTotalColoringLean2026v020,
  author  = {Le Chen and Songling Shan},
  title   = {Total Coloring Lean},
  version = {0.2.0},
  year    = {2026},
  doi     = {10.5281/zenodo.23452514},
  url     = {https://github.com/chenle02/total-coloring-lean/tree/v0.2.0}
}

Suggested commit-level citation¶

@software{ChenShanTotalColoringLean2026,
  author  = {Le Chen and Songling Shan},
  title   = {Total Coloring Lean},
  year    = {2026},
  url     = {https://github.com/chenle02/total-coloring-lean},
  note    = {Lean 4 source, commit 0e938606f81e7a27a5925987824e7152f7dbb4c6}
}

For reproducibility, record all three of:

the software release or exact commit;
Lean and mathlib version v4.32.0; and
the declaration(s) on which your result depends.

Do not cite the software repository as proof of novelty. Novelty requires a separate literature analysis.