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.
This is an attempt to formalise distributed graph algorithms in Lean. We follow the book Distributed Algorithms by Juho Hirvonen and Jukka Suomela.