Skip to content

clear goals buffer after Qed and Admitted when running silent #225

clear goals buffer after Qed and Admitted when running silent

clear goals buffer after Qed and Admitted when running silent #225

Annotations

2 warnings

test-qrhl (26.3)

succeeded Apr 25, 2024 in 22s