@misc{indiciae18d93e088403,
  title = {Implementing Dependent Type Theory Inhabitation and Unification},
  author = {Chase Norman and Jeremy Avigad},
  year = {2026},
  url = {https://arxiv.org/abs/2603.01463},
  note = {Source identifier: 2603.01463}
}