Lean repository linked
Non-persistence of equality between chromatic polynomials and list-color functions
arXiv:2608.19773 · arXiv
Lean formalisations (1)
rkirov/enumerative-chromatic-choosability at 05c1a4128190
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.