Graham Leach-Krouse

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

View my Github profile Send me an email View my academic profile View my LinkedIn profile Find me on Mastodon