@misc{indiciaed4e7b5bb7dd6,
  title = {Local verification of global proofs},
  author = {Laurent Feuilloley and Juho Hirvonen},
  year = {2018},
  url = {https://arxiv.org/abs/1803.09553},
  note = {Source identifier: 1803.09553}
}