@misc{indiciaeaa5163bd8404,
  title = {Treating for-Loops as First-Class Citizens in Proofs},
  author = {Nathan Wasser and Dominic Steinhöfel},
  year = {2020},
  url = {https://arxiv.org/abs/2002.00776},
  note = {Source identifier: 2002.00776}
}