[07:54:23] inariksit: good so far. yesterday i was talking to michael kohlhase who is teaching a course here in which he even might mention gf on friday [08:11:26] he's actually teaching formalizing logics in dependently typed lambda calculus but probably wants to show that you can include natural language descriptions