Graduate math student at Bonn. Co-founder of ProofTree.ai. Research experience in NT at Oxford.

contact me at raj [at] prooftree [dot] ai :)