Skip to content

coq: clear goals buffer after admitted #601

coq: clear goals buffer after admitted

coq: clear goals buffer after admitted #601

Annotations

5 errors and 2 warnings

The logs for this run have expired and are no longer available.