Lean repository linked
Graph Puzzles III.1: A Proof of Sabidussi's Compatibility Conjecture
arXiv:2607.13225 · arXiv
Lean formalisations (1)
gexahedron/sabidussi-lean at 58307d74da99
Linked by the repository’s formalization.yaml.
Project review: self-assessed; agent-audited
Audit: awaiting publication.