Lean repository linked
List Coloring and n-monophilic graphs
arXiv:1004.5183 · arXiv
Lean formalisations (1)
rkirov/enumerative-chromatic-choosability at 05c1a4128190
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.