Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume. Teaching Logic with Iltis: an Interactive, Web-Based System. In Bruce Scharlau, Roger McDermott, Arnold Pears, Mihaela Sabin, editors, Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019. pages 307, ACM, 2019. [doi]
Abstract is missing.