zombie proof processes

[Lawrence Paulson]

I have to say that it is rare. I use sledgehammer frequently (never try) and the odd thing is that usually you don't get any, but occasionally they seem to accumulate, almost as if a certain sort of proof interfered with correct termination. It's hard to imagine how that would work.

Larry

> On 19 Nov 2025, at 22:22, Makarius <makarius at sketis.net> wrote:
> 
> Same situation: I will busy for the next 2 days, and hope for someone else (Larry?) to come up with reproducible examples with too many veriT processes on macOS 26.