主題 · coq

coq

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

專案數

16

總星數

17,684

平均星數

1,105

佔比

0.00%

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

近期新秀

近 90 天內建立、標記 coq 主題的專案。

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

#1
rocq ↗@rocq-proverOCaml
Rocq Prover 是一個互動式定理證明器，或稱為證明助手。它提供一種正式語言，用於撰寫數學定義、可執行演算法和定理，並提供一個半互動式開發機器檢查證明的環境。
★ 5,562+4近 7 天星數變化
#2
CompCert ↗@AbsIntRocq Prover
CompCert 形式化驗證的 C 語言編譯器
★ 2,220+1近 7 天星數變化
#3
UniMath ↗@UniMathRocq Prover
這個 rocq 函式庫旨在從單值化（univalent）觀點將大量數學內容形式化。
★ 1,019+2近 7 天星數變化
#4
SF-zh ↗@Rocq-zhHTML
《軟體基礎》中文版
★ 974+0近 7 天星數變化
#5
aeneas ↗@AeneasVerifOCaml
適用於 Rust 程式的驗證工具鏈
★ 946+17近 7 天星數變化
#6
magmide ↗@magmideRocq Prover
一種依賴型別證明語言，旨在讓軟體工程師能夠編寫可證明正確的裸機程式碼。
★ 835+0近 7 天星數變化
#7
category-theory ↗@jwiegleyRocq Prover
在 Coq 中進行個人研究與實務工作的範疇論（Category Theory）無公理形式化
★ 807+1近 7 天星數變化
#8
math-comp ↗@math-compRocq Prover
Mathematical Components
★ 696+1近 7 天星數變化
#9
Cosette ↗@uwdbLean
Cosette 是一個自動化 SQL 求解器。
★ 686+0近 7 天星數變化
#10
verdi ↗@uwplseRocq Prover
在 Coq 中形式化驗證分散式系統實作的框架
★ 625+0近 7 天星數變化
#11
practical-fm ↗@ligurio
一份精心整理在業界使用形式化驗證方法的公司清單
★ 610+1近 7 天星數變化
#12
PG ↗@ProofGeneralEmacs Lisp
此儲存庫為 Proof General 的新家。
★ 558+2近 7 天星數變化
#13
rocq-tricks ↗@rocq-communityCoq
你希望 Coq 手冊早點告訴你的技巧 [維護者=@tchajed]
★ 552+0近 7 天星數變化
#14
metarocq ↗@MetaRocqRocq Prover
元程式設計、驗證過的元理論，以及在 Rocq 中實作 Rocq。
★ 550+1近 7 天星數變化
#15
jscoq ↗@jscoqTypeScript
Coq 的 JavaScript 移植版——在瀏覽器中執行 Coq
★ 547+0近 7 天星數變化
#16
VST ↗@PrincetonUniversityRocq Prover
驗證軟體工具鏈 (Verified Software Toolchain)。
★ 508+1近 7 天星數變化

← 返回主題列表