@misc{indiciae428d5862fb9d,
  title = {Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo},
  author = {Anja Petković Komel and Michael Rawson and Martin Suda},
  year = {2025},
  url = {https://arxiv.org/abs/2503.15541},
  note = {Source identifier: 2503.15541}
}