トピック · deductive-reasoning

deductive-reasoning

deductive-reasoning がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

3

総スター数

3,468

平均スター数

1,156

シェア

0.00%

deductive-reasoning と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、deductive-reasoning がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

#1
creusot ↗@creusot-rsRust
Rust コードの正当性証明を支援する Creusot
★ 1,836+2直近 7 日のスター増減
#2
aeneas ↗@AeneasVerifOCaml
Rust プログラム向けの検証ツールチェーン
★ 946+17直近 7 日のスター増減
#3
CreuSAT ↗@sarskoRust
CreuSAT - Rust で書かれ、Creusot で検証された形式手法による検証済み SAT ソルバー
★ 698+2直近 7 日のスター増減

← トピック一覧に戻る