主题 · theorem-proving

theorem-proving

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

项目数

7

总星标数

13,478

平均星标数

1,925

占比

0.00%

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

近期新秀

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

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

#1
rocq ↗@rocq-proverOCaml
Rocq Prover 是一个交互式定理证明器，或称为证明助手。它提供一种正式语言，用于撰写数学定义、可执行算法和定理，并提供一个半交互式开发机器检查证明的环境。
★ 5,562+4近 7 天星标变化
#2
FStar ↗@FStarLangF*
面向证明的程序语言
★ 3,103+4近 7 天星标变化
#3
LeanCopilot ↗@lean-dojoC++
在 Lean 中作为定理证明 Copilot 的 LLM
★ 1,318+1近 7 天星标变化
#4
cakeml ↗@CakeMLStandard ML
CakeML：ML 的已验证实现
★ 1,190+2近 7 天星标变化
#5
LeanDojo ↗@lean-dojoPython
用于数据提取及以程序化方式与 Lean 交互的工具。
★ 832+1近 7 天星标变化
#6
HOL ↗@HOL-Theorem-ProverStandard ML
HOL4 定理证明系统的标准来源。develop 分支是“主线开发”发生的地方；当 develop 通过回归测试时，master 会向前合并以进行同步。
★ 756+2近 7 天星标变化
#7
physlib ↗@leanprover-communityLean
一个将物理学研究成果数字化并写入 Lean 的项目
★ 719+3近 7 天星标变化

← 返回主题列表