Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-45382023-07-032023-07-032023https://fis.uni-bamberg.de/handle/uniba/59552-engAILogiKEy004Mathematical Proof Assistants for Teaching Logic : the LogiKEy Methodologyconferenceobjecthttps://toolsforteachinglogic23.weebly.comurn:nbn:de:bvb:473-irb-595525