coq
投稿

coq

文章 0 浏览 3

交互式数学证明系统

我正在寻找一种工具（首选 GUI，但 CLI 也可以），它允许我输入数学表达式，然后对其进行操作，但限制我只能进行数学上有效的运算。 此外，该工具必须…

三寸金莲 2024-07-16 12:25:33 12 0
更多

热门标签

操作系统 程序设计 IT运维 Linux系统管理 JavaScript 服务器应用 solaris C/C++ PHP Shell BSD Vue.js aix Oracle Python HTML 系统管理 HTML5 CSS 前端
更多

推荐作者

胡图图

文章 0 评论 0

zt006

文章 0 评论 0

z祗昰~

文章 0 评论 0

冰葑

文章 0 评论 0

野の

文章 0 评论 0

天空

文章 0 评论 0

更多

友情链接

文江博客
    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。
    原文