Skip to content

coq: clear goals buffer after admitted #177

coq: clear goals buffer after admitted

coq: clear goals buffer after admitted #177

Annotations

2 warnings

compile-tests (coq-8.12-emacs-29.2)

succeeded Mar 22, 2024 in 4m 11s