@misc{indiciae8b5792995c55,
  title = {Mechanizing Synthetic Tait Computability in Istari},
  author = {Runming Li and Yue Yao and Robert Harper},
  year = {2025},
  url = {https://arxiv.org/abs/2509.11418},
  note = {Source identifier: 2509.11418}
}