Formal verification of the Algorand consensus protocolgithub.com/runtimeverification2 pointsEvgeniyZh6 years ago