Tyler Tracy

Stream: new members

[Tyler Tracy]

Hello everyone! My name is Tyler Tracy. I'm a graduate student at the University of Arkansas. I'm doing research in complexity theory and came across Lean and find it to be an amazing project. I want to try to define some simple complexity classes (P, NP, etc..) and write some simple proofs for them as a project for a class. I've been looking through the library and haven't found them already defined but I'm still learning how to navigate and read everything. If I'm missing them please let me know and I'll try to find some way of contributing.

[Notification Bot]

A message was moved here from #new members > Simple eigenvector problem by Tyler Tracy.

[Anne Baanen]

Welcome! While mathlib has some computability, I don't believe there is any complexity theory. In case you haven't found it already, please also check outt the computational complexity topic: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Computational.20Complexity.20Theory