Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Pasetto, LucaLucaPasetto2026-10-072026-10-072026https://fis.uni-bamberg.de/handle/uniba/117577engMathematical Proof Assistants for Teaching Logic : The LogiKEy Methodologypreprint10.48550/arxiv.2610.08214