Topik · deductive-reasoning

deductive-reasoning

Repositori open source terpantau bertanda deductive-reasoning, diurutkan berdasarkan bintang.

Repositori

Total bintang

3.468

Rata-rata bintang

1.156

Porsi

0,00%

Topik yang sering muncul berdampingan dengan deductive-reasoning di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda deductive-reasoning.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
creusot ↗@creusot-rsRust
Creusot membantu Anda membuktikan bahwa kode Rust Anda benar.
★ 1.836+2Perubahan bintang dalam 7 hari terakhir
#2
aeneas ↗@AeneasVerifOCaml
Rantai alat verifikasi untuk program Rust
★ 946+17Perubahan bintang dalam 7 hari terakhir
#3
CreuSAT ↗@sarskoRust
CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.
★ 698+2Perubahan bintang dalam 7 hari terakhir