[PhilippGille]

Nice idea, and it's visible that you put lots of effort into this!

I tried it on the website, but unfortunately when generating a proof, after about a minute my mobile browser crashes. I guess it's an OOM kill?