TY  - RPRT
TI  - Cyclic proofs in the equational version of Primitive recursive arithmetic
AU  - Daniyar Shamkanov
PY  - 2026
UR  - https://arxiv.org/abs/2606.07166
ID  - 2606.07166
ER  -