@misc{indiciaeafdbe75f54aa,
  title = {Proof Theory and Dependent Type Theory: Distinct Foundations for Designing Proof Assistants},
  author = {Dale Miller},
  year = {2026},
  doi = {10.4204/eptcs.448.2},
  url = {https://arxiv.org/abs/2607.12654},
  note = {Source identifier: 2607.12654}
}