主題 · proof

proof

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

專案數

8

總星數

7,074

平均星數

884

佔比

0.00%

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

近期新秀

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

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

#1
creusot ↗@creusot-rsRust
Creusot 協助你證明你的 Rust 程式碼是正確的。
★ 1,836+2近 7 天星數變化
#2
rocq-of-rust ↗@formal-landRocq Prover
Rust 的形式化驗證工具：檢查程式 100% 的執行案例以打造更安全的應用程式。
★ 1,161+0近 7 天星數變化
#3
cryptominisat ↗@msoosC++
一個先進的 SAT 求解器
★ 941+0近 7 天星數變化
#4
CreuSAT ↗@sarskoRust
CreuSAT - 一個以 Rust 編寫並使用 Creusot 進行形式化驗證的 SAT 求解器。
★ 698+2近 7 天星數變化
#5
agda-stdlib ↗@agdaAgda
Agda 標準函式庫
★ 675+0近 7 天星數變化
#6
l4v ↗@seL4Isabelle
seL4 規格與證明
★ 636+3近 7 天星數變化
#7
verdi ↗@uwplseRocq Prover
在 Coq 中形式化驗證分散式系統實作的框架
★ 625+0近 7 天星數變化
#8
VST ↗@PrincetonUniversityRocq Prover
驗證軟體工具鏈 (Verified Software Toolchain)。
★ 508+1近 7 天星數變化

← 返回主題列表