What we're about

Let's get together and learn type theory! Inspired by the recently-announced online Type Theory Study Group.

Upcoming events

No upcoming events