@misc{indiciaed1c9d4a672d0,
  title = {Formalizing Constructive Quantifier Elimination in Agda},
  author = {Jeremy Pope},
  year = {2018},
  doi = {10.4204/eptcs.275.2},
  url = {https://arxiv.org/abs/1807.04083},
  note = {Source identifier: 1807.04083}
}