全部条目在线工具 AI 编程趋势榜开源项目技术资讯提交条目

Language登录

< 返回工具列表Language

A

Arend

开源

Arend 证明辅助程序

753 stars0 点赞0 次浏览

访问官网 GitHub

工具介绍

Arend 证明辅助程序

Arend 证明辅助程序

您可以在发行版页面找到 Arend 二进制文件的发行版(名为"Arend.jar"的 jar 文件)。可以使用 Arend jar 来对库进行类型检查:

如果您偏好 Gradle Kotlin DSL，请在 build.gradle.kts 中使用以下语法：

Issues· 0 开放

查看全部 Issues 在 GitHub 打开

暂无开放 Issues，或尚未同步最近议题。

> 标签

Javaarend

暂无评论，来聊聊你的看法吧

> 工具信息

发布日期2026年8月1日

最后更新2026年9月17日

分类编程语言

定价开源

> 相关工具

JavaScript 的超集，为前端与全栈提供静态类型

通用编程语言，广泛用于 Web、数据与 AI

Google 推出的简洁高效系统语言