  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
