Skip to content

coq: clear goals buffer after admitted #61

coq: clear goals buffer after admitted

coq: clear goals buffer after admitted #61