主題 · theorem-proving

theorem-proving

標記 theorem-proving 主題、收錄中的開源專案，依星數排序。

專案數

7

總星數

13,462

平均星數

1,923

佔比

0.00%

常跟 theorem-proving 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 theorem-proving 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
rocq ↗@rocq-proverOCaml
Rocq Prover 是一個互動式定理證明器，或稱為證明助手。它提供一種正式語言，用於撰寫數學定義、可執行演算法和定理，並提供一個半互動式開發機器檢查證明的環境。
★ 5,558+8近 7 天星數變化
#2
FStar ↗@FStarLangF*
面向證明的程式語言
★ 3,099-1近 7 天星數變化
#3
LeanCopilot ↗@lean-dojoC++
在 Lean 中作為定理證明 Copilot 的 LLM
★ 1,317+4近 7 天星數變化
#4
cakeml ↗@CakeMLStandard ML
CakeML：ML 的已驗證實作
★ 1,189+2近 7 天星數變化
#5
LeanDojo ↗@lean-dojoPython
用於數據提取及以程式化方式與 Lean 互動的工具。
★ 832+4近 7 天星數變化
#6
HOL ↗@HOL-Theorem-ProverStandard ML
HOL4 定理證明系統的標準來源。develop 分支是「主線開發」發生的地方；當 develop 通過迴歸測試時，master 會向前合併以進行同步。
★ 755+0近 7 天星數變化
#7
physlib ↗@leanprover-communityLean
一個將物理學研究成果數位化並寫入 Lean 的專案
★ 716+9近 7 天星數變化

← 返回主題列表