Graham Leach-Krouse Hi! I'm a logician who writes open-source educational software. View my Github profile Send me a message Send me an email View my academic profile View my LinkedIn profile Find me on Mastodon