首页
标签
real-number
如何在 Coq 中自动证明实数的简单相等性？
如何简化 Coq 中的实数项？
1
2