Zulip Chat Archive

Hello! My name is Owen Kahn (he/him). I just graduated from CMU's undergrad CS program and thought I'd install LEAN/mathlib and run through a tutorial while I have some spare time. Theorem proving isn't immediately applicable to my current work but I'm somewhat interested in verifying results from automata theory, complexity theory, and classical recursion theory.