主题 · proof-assistant

proof-assistant

标记 proof-assistant 主题、收录中的开源项目，按星标数排序。

项目数

8

总星标数

17,520

平均星标数

2,190

占比

0.00%

常跟 proof-assistant 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 proof-assistant 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
rocq ↗@rocq-proverOCaml
Rocq Prover 是一个交互式定理证明器，或称为证明助手。它提供一种正式语言，用于撰写数学定义、可执行算法和定理，并提供一个半交互式开发机器检查证明的环境。
★ 5,562+4近 7 天星标变化
#2
FStar ↗@FStarLangF*
面向证明的程序语言
★ 3,103+4近 7 天星标变化
#3
agda ↗@agdaHaskell
Agda 是一种依赖型编程语言 / 交互式定理证明器
★ 2,922+3近 7 天星标变化
#4
YC-Killer ↗@sahibzada-allahyarTypeScript
企业级 AI 代理（Agent）库，旨在普及人工智能，并为估值过高的 Y Combinator 初创公司提供免费、开源的替代方案。
★ 2,806+7近 7 天星标变化
#5
plfa.github.io ↗@plfaAgda
在 Agda 中介绍编程语言理论
★ 1,514+0近 7 天星标变化
#6
PG ↗@ProofGeneralEmacs Lisp
此仓库为 Proof General 的新家。
★ 558+2近 7 天星标变化
#7
jscoq ↗@jscoqTypeScript
Coq 的 JavaScript 移植版——在浏览器中运行 Coq
★ 547+0近 7 天星标变化
#8
VST ↗@PrincetonUniversityRocq Prover
验证软件工具链 (Verified Software Toolchain)。
★ 508+1近 7 天星标变化

← 返回主题列表