Zulip Chat Archive

Stream: new members

Topic: Owen Kahn

Owen Kahn (Apr 11 2023 at 19:22):

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.

Bolton Bailey (Apr 11 2023 at 20:58):

Hi @Owen Kahn . You might be interested in the complexity theory stream

Last updated: Dec 20 2023 at 11:08 UTC