TY  - RPRT
TI  - Cyclic Proofs in Hoare Logic and its Reverse
AU  - James Brotherston
AU  - Quang Loc Le
AU  - Gauri Desai
AU  - Yukihiro Oda
PY  - 2026
DO  - 10.46298/entics.16696
UR  - https://arxiv.org/abs/2504.14283
ID  - 2504.14283
ER  -