@misc{indiciae798b6123f3b2,
  title = {Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology},
  author = {Christoph Benzmüller and David Fuenmayor and Luca Pasetto},
  year = {2026},
  url = {https://arxiv.org/abs/2610.08214},
  note = {Source identifier: 2610.08214}
}