首页
标签
gallina
为什么 Coq 不允许在 Linux 和 Windows 中以 QED 结尾的定理？