Introduction to Iltis: an interactive, web-based system for teaching logic.

Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume

Browse the full ITiCSE paper archive.