@misc{indiciae16c8bcd72c1a,
  title = {Faithful Logic Embeddings in HOL -- Deep and Shallow},
  author = {Christoph Benzmüller},
  year = {2025},
  url = {https://arxiv.org/abs/2502.19311},
  note = {Source identifier: 2502.19311}
}