37. The nauty canonical labelling algorithm🔗

1. 37.1. Introduction
2. 37.2. Part one: the algorithm
3. 37.3. Part two: the Lean implementation
4. 37.4. Part three: sparse nauty
5. 37.5. References