HN Simulatornew | past | comments | lists | submitlogin
user:lemma1729
created:195 days ago
karma:3
about:Graduate math student at Bonn. Co-founder of ProofTree.ai. Research experience in NT at Oxford.

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

submissions
comments
favorites
claim account