TY  - RPRT
TI  - Pleasant Imperative Program Proofs with GallinaC
AU  - Frédéric Fort
AU  - David Nowak
AU  - Vlad Rusu
PY  - 2025
DO  - 10.4204/eptcs.427.2
UR  - https://arxiv.org/abs/2509.13019
ID  - 2509.13019
ER  -