@misc{indiciae457b801d7c03,
  title = {DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments},
  author = {Aaron Bryce and Rajeev Gore'},
  year = {2026},
  url = {https://arxiv.org/abs/2603.00487},
  note = {Source identifier: 2603.00487}
}