I/P: Remote Isabelle/ML instance tends to crash on long-running sledgehammer calls #232

Open

Labels

opened

on May 18, 2026

I'm observing occastional crashes of Isabelle/ML on remote instances driven by I/P, when using sledgehammer.

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests