TY  - RPRT
TI  - Treating for-Loops as First-Class Citizens in Proofs
AU  - Nathan Wasser
AU  - Dominic Steinhöfel
PY  - 2020
UR  - https://arxiv.org/abs/2002.00776
ID  - 2002.00776
ER  -