feat: complexity theory#400

Closed

SamuelSchlesinger wants to merge 2 commits into

leanprover:mainfrom

SamuelSchlesinger:tidy

Commits on Mar 6, 2026

refactor(Computability): improve SingleTapeTM composition API
SamuelSchlesinger
committed
feat(Computability): add complexity classes P, NP, coNP, PSPACE and reductions
SamuelSchlesinger
committed