Aaron had a poster presentation at last week’s ISSOTL conference in Calgary, presenting the results of our evaluation of his […]
Month: October 2017
Natural Deduction Rules in forall x: Calgary
Prompted by a good suggestion by Richard Lawrence and support from Catrin Campbell-Moore, we’ve been working on revising the natural […]