Distributed Graph Algorithms in Lean

This is an attempt to formalise distributed graph algorithms in Lean. We follow the book Distributed Algorithms by Juho Hirvonen and Jukka Suomela.

• Blueprint