Teaching Activities of Christoph Benzmüller

An overview on the use of LogiKEy in education is provide here: LogiKEy_in_Education.