主題 · 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 天星數變化

← 返回主題列表