登录 注册

搜索结果：proof-assistant（2 个）

今日热门（多来源加权） 本周热门 本月热门 最近新增 Star 增长最快 Fork 增长最快 商业潜力较高 适合个人开发者
推广
阿里云 没搜到想要的？这就是机会——自己造一个，一台入门级云服务器就能上线 去开机器
按分类缩小范围
全部分类 AI 应用与 AI Agent AI 模型与开发框架 自动化与工作流 数据分析与数据处理 网站与 SaaS 工具 效率与办公工具 图像、视频与音频 内容创作与媒体工具 电商与营销工具 游戏与娱乐 网络与基础设施 开发者工具 安全与隐私工具 教育与学习 其他

agda

综合 60
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
Haskell 2,970 432 2026-11-11
效率与办公工具 开发者工具 AI 应用与 AI Agent 部署：待检测

rzk

综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
Haskell 313 31 2026-11-11
AI 应用与 AI Agent 游戏与娱乐 数据分析与数据处理 部署：待检测