Skip to content

proof-shell: Don't ask about killing the proof assistant on exit #745

proof-shell: Don't ask about killing the proof assistant on exit

proof-shell: Don't ask about killing the proof assistant on exit #745

Annotations

2 warnings

build (29.1)

succeeded Oct 2, 2024 in 47s