@misc{indiciae3ccfa45de6c7,
  title = {Formal Verification of Proofs from Automated Theorem Provers for Higher-Order Logic},
  author = {Melanie Taprogge and Frédéric Blanqui and Alexander Steen},
  year = {2026},
  url = {https://arxiv.org/abs/2609.24594},
  note = {Source identifier: 2609.24594}
}