Iltis: Learning Logic in the Web

TL;DR

Iltis is a web-based interactive system that enhances teaching formal methods by providing adaptable exercises and feedback for logic courses, supporting large student groups and diverse logical workflows.

Contribution

It introduces a flexible platform for creating and integrating interactive logic exercises with cascading feedback, suitable for large-scale educational settings.

Findings

Supports exercises in propositional, modal, and first-order logic

Used successfully in courses with over 300 students

Enables large-scale, interactive logic education

Abstract

The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex exercises; and to allow simple inclusion and cascading of feedback mechanisms. Currently, exercises for many typical automated reasoning workflows for propositional logic, modal logic, and some parts of first-order logic are covered. Recently, Iltis has reached a level of maturity where large parts of introductory logic courses can be supplemented with interactive exercises. Sample interactive course material has been designed and used in courses over the last years, many of them with more than 300 students. We invite all readers to try out Iltis: https://iltis.cs.tu-dortmund.de