if you want to contact me do that via an email or PM at
Sorry i am just unwilling to publish my email.
29 **Ended Competition:** What is the shortest proof of $\exists x \forall y (D(x) \to D(y)) $? may 28 '14
12 Founding Arithmetic on geometry feb 22 '14
8 Mathematicly Untangeling Untangle. mar 4 '14
6 Who stole the axioms in Natural Deduction? mar 13 '14
5 Derive by modus ponens $[A\rightarrow(B\rightarrow C)]\rightarrow[(A\rightarrow B)\rightarrow(A\rightarrow C)]$ feb 21 '14