lemma1729
...joined 3 months ago, and has 3 karma
submissions / comments / favourites
Graduate math student at Bonn. Co-founder of ProofTree.ai. Research experience in NT at Oxford.
contact me at raj [at] prooftree [dot] ai :)
...joined 3 months ago, and has 3 karma
submissions / comments / favourites
Graduate math student at Bonn. Co-founder of ProofTree.ai. Research experience in NT at Oxford.
contact me at raj [at] prooftree [dot] ai :)