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-indent (29.1)

succeeded Apr 25, 2024 in 33s