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 m

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?