TY  - RPRT
TI  - Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version
AU  - Victor Cacciari Miraldo
AU  - Harold Carr
AU  - Mark Moir
AU  - Lisandra Silva
AU  - Guy L. Steele Jr
PY  - 2021
UR  - https://arxiv.org/abs/2103.04519
ID  - 2103.04519
ER  -