Teaching Logic with Iltis: an Interactive, Web-Based System

The Iltis project provides an interactive, web-based system for teaching logic, which is designed to provide immediate and comprehensive feedback for exercises covering various aspects of the reasoning workflow of propositional logic, modal logic, and first-order logic. In this talk I will provide an update on the status of the project.

Authors

• Thomas Zeume Ruhr University Bochum

Keywords

No keywords are indexed for this paper.