@misc{indiciae4d3f52f2666f,
  title = {Design and Implementation of the Andromeda Proof Assistant},
  author = {Andrej Bauer and Gaëtan Gilbert and Philipp G. Haselwarter and Matija Pretnar and Christopher A. Stone},
  year = {2018},
  url = {https://arxiv.org/abs/1802.06217},
  note = {Source identifier: 1802.06217}
}