跳到主要內容
buildradar
Sign in
主題 · proofs

proofs

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

專案數
3
總星數
3,413
平均星數
1,138
佔比
0.00%

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

近期新秀

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

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

  • 用於解決 Project Euler 問題的可執行程式碼,支援 Java、Python、Mathematica、Haskell。

    1,959-1近 7 天星數變化
  • aeneas@AeneasVerif

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

    948+17近 7 天星數變化
  • karamel@FStarLang

    KaRaMeL 是一款將底層 F* 程式轉換為可讀 C 程式碼的工具

    518+0近 7 天星數變化
← 返回主題列表