User:Jbetzend

Informatics student in Germany with an interest in proofs and proof theory.

Worked on the following: Pumping Lemma for Regular Languages