What do you suggest for these on a 16 GB machine? I attach my file.

On 7 Sep 2018, at 15:01, Makarius <makar...@sketis.net> wrote:

If you are using the 64-bit version of Poly/ML, you should give both
--minheap and --maxheap, otherwise it tends to overcommit a lot of memory.

Attachment: Binomial_sol.thy
Description: Binary data

isabelle-dev mailing list

Reply via email to