[isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory
hupel at in.tum.de
Thu Feb 18 22:37:09 CET 2016
> The obvious explanation is a failing proof which keeps using up more and more memory.
Wouldn't that be deterministic, then? It only fails spuriously.
More information about the isabelle-dev