跳到主要內容
buildradar
Sign in
主題 · deductive-reasoning

deductive-reasoning

標記 deductive-reasoning 主題、收錄中的開源專案,依星數排序。

專案數
3
總星數
3,468
平均星數
1,156
佔比
0.00%

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

近期新秀

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

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

  • creusot@creusot-rs

    Creusot 協助你證明你的 Rust 程式碼是正確的。

    1,836+3近 7 天星數變化
  • aeneas@AeneasVerif

    適用於 Rust 程式的驗證工具鏈

    946+8近 7 天星數變化
  • CreuSAT@sarsko

    CreuSAT - 一個以 Rust 編寫並使用 Creusot 進行形式化驗證的 SAT 求解器。

    698+1近 7 天星數變化
← 返回主題列表