@misc{indiciae31b65d8d03ff,
  title = {Experiments with Choice in Dependently-Typed Higher-Order Logic},
  author = {Daniel Ranalter and Chad E. Brown and Cezary Kaliszyk},
  year = {2024},
  url = {https://arxiv.org/abs/2410.08874},
  note = {Source identifier: 2410.08874}
}