Skip to content

coq: clear goals buffer after admitted #601

coq: clear goals buffer after admitted

coq: clear goals buffer after admitted #601

Annotations

2 warnings

build (29.2)

succeeded Mar 23, 2024 in 49s