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)