User:Jbetzend

Informatics student in Germany (Bielefeld University) with an interest in proofs and proof theory.

Worked on the following:

• Pumping Lemma for Regular Languages
• Axiom of Choice Implies Law of Excluded Middle (Diaconescu's Theorem)