Skip to content

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

clear goals buffer after Qed and Admitted when running silent

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

Annotations

2 warnings

test-indent (28.1)

succeeded Apr 21, 2024 in 40s