[16:14:50] <daherb> in case someone is interested in this, here is a paper by michael combining gf with his meta-logics https://kwarc.info/people/mkohlhase/submit/lfmtp-19.pdf
[20:08:03] *** Quits: proteusdude (~proteusgu@cm-58-10-208-146.revip7.asianet.co.th) (Ping timeout: 248 seconds)
[20:11:54] *** Joins: proteusdude (~proteusgu@cm-58-10-208-146.revip7.asianet.co.th)