Cayley's Graph Lean formalization
Formalization of the representation of finite groups as Cayley's graphs.
HTML-rendered Lean proofs:
FinGroup.lean
Graph.lean