所有子目标均已满足，但无法集中证明

Question

我写了一些冗长的证明，但是每当尝试TableEndpoint=https://myaccount.table.core.windows.net;SharedAccessSignature=sv=2015-04-05&tn=Table&sig=Signature&se=2099-99-99T12%3A00%3A00Z&sp=r 时，我都会收到错误消息Qed。还有其他方法可以使证明不集中吗？即使我的证明严格，我也只是使用Shoudl承认的？供参考，我使用的是CoqIDE 8.6

Answer 1

解决了，我在证明末尾缺少一个'}'。