TY  - RPRT
TI  - Iltis: Learning Logic in the Web
AU  - Gaetano Geck
AU  - Christine Quenkert
AU  - Marko Schmellenkamp
AU  - Jonas Schmidt
AU  - Felix Tschirbs
AU  - Fabian Vehlken
AU  - Thomas Zeume
PY  - 2022
UR  - https://arxiv.org/abs/2105.05763
ID  - 2105.05763
ER  -