TY  - RPRT
TI  - Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology
AU  - Christoph Benzmüller
AU  - David Fuenmayor
AU  - Luca Pasetto
PY  - 2026
UR  - https://arxiv.org/abs/2610.08214
ID  - 2610.08214
ER  -