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

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