@misc{indiciae9a25f5468452,
  title = {Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version},
  author = {Harold Carr and Christopher Jenkins and Mark Moir and Victor Cacciari Miraldo and Lisandra Silva},
  year = {2022},
  url = {https://arxiv.org/abs/2203.14711},
  note = {Source identifier: 2203.14711}
}