This is a reading group where we discuss research topics regarding LF and logical reasoning.

Past topics