@misc{indiciae9ecd0f9ef64e,
  title = {Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version},
  author = {Victor Cacciari Miraldo and Harold Carr and Mark Moir and Lisandra Silva and Guy L. Steele Jr},
  year = {2021},
  url = {https://arxiv.org/abs/2103.04519},
  note = {Source identifier: 2103.04519}
}