Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology
arXiv:2610.08214v1 Announce Type: new Abstract: We report on an approach to teaching logic to mixed groups of computer science, mathematics, and philosophy students, based on the logico-pluralistic Lo