TY  - RPRT
TI  - Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic
AU  - Gaetano Geck
AU  - Artur Ljulin
AU  - Sebastian Peter
AU  - Jonas Schmidt
AU  - Fabian Vehlken
AU  - Thomas Zeume
PY  - 2018
DO  - 10.1145/3197091.3197095
UR  - https://arxiv.org/abs/1804.03579
ID  - 1804.03579
ER  -