@misc{indiciae3c4d38ba83a9,
  title = {Towards a Verified Model of the Algorand Consensus Protocol in Coq},
  author = {Musab A. Alturki and Jing Chen and Victor Luchangco and Brandon Moore and Karl Palmskog and Lucas Peña and Grigore Roşu},
  year = {2020},
  doi = {10.1007/978-3-030-54994-7\_27},
  url = {https://arxiv.org/abs/1907.05523},
  note = {Source identifier: 1907.05523}
}