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

test-qrhl (27.2)

succeeded Oct 2, 2024 in 27s