TY  - RPRT
TI  - DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
AU  - Aaron Bryce
AU  - Rajeev Gore'
PY  - 2026
UR  - https://arxiv.org/abs/2603.00487
ID  - 2603.00487
ER  -