TY  - RPRT
TI  - Towards an Analysis of Proofs in Arithmetic
AU  - Alexander Leitsch
AU  - Anela Lolić
AU  - Stella Mahler
PY  - 2025
DO  - 10.4204/eptcs.421.6
UR  - https://arxiv.org/abs/2506.05837
ID  - 2506.05837
ER  -