Graham Leach-Krouse

Hi! I'm a logician who writes open-source educational software.