@emondb @hochstenbach @bblfish @josd

Hi Bruno,

I took a course & independent study on #AutomaticTheoremProving with David #Plaisted when he was still at #UIUC in 84–85. It was mostly about #ResolutionUnification & #NaturalDeduction provers but I was already on a different path by then as I had been working on #Peirce's & #SpencerBrown's versions of #LogicalGraphs in a computational vein since the late 60s. I'll discuss the differences that make a difference between those paradigms as we go.