主題 · coq-library

coq-library

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

專案數

3

總星數

2,152

平均星數

717

佔比

0.00%

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

近期新秀

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

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

#1
UniMath ↗@UniMathRocq Prover
這個 rocq 函式庫旨在從單值化（univalent）觀點將大量數學內容形式化。
★ 1,018+2近 7 天星數變化
#2
verdi ↗@uwplseRocq Prover
在 Coq 中形式化驗證分散式系統實作的框架
★ 625+0近 7 天星數變化
#3
VST ↗@PrincetonUniversityRocq Prover
驗證軟體工具鏈 (Verified Software Toolchain)。
★ 508+1近 7 天星數變化

← 返回主題列表