I'm trying out Coq, but I'm not completely sure what I'm doing. Is:I'm trying out Coq, but I'm not completely sure
阅读背景：
如何在Coq中写∀x（P（x）和Q（x））？
来源：互联网
分享到：
