@misc{indiciae88067fcdf58c,
  title = {Ackermann's Function in Iterative Form: A Proof Assistant Experiment},
  author = {Lawrence C Paulson},
  year = {2021},
  doi = {10.1017/bsl.2021.47},
  url = {https://arxiv.org/abs/2104.11157},
  note = {Source identifier: 2104.11157}
}