User:Timwi

Lemma
My name is Timwi.

Proof
Self-evident.

Corollary
I started the following pages:

Computer science

 * Deterministic Time Hierarchy Theorem
 * Regular Expressions and Finite State Machines (but currently under discussion for rename)