Topik · proof

proof

Repositori open source terpantau bertanda proof, diurutkan berdasarkan bintang.

Repositori

8

Total bintang

7.070

Rata-rata bintang

884

Porsi

0,00%

Topik yang sering muncul berdampingan dengan proof di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda proof.

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.834+4Perubahan bintang dalam 7 hari terakhir
#2
rocq-of-rust ↗@formal-landRocq Prover
Alat verifikasi formal untuk Rust: periksa 100% kasus eksekusi program Anda untuk membuat aplikasi yang lebih aman.
★ 1.161+3Perubahan bintang dalam 7 hari terakhir
#3
cryptominisat ↗@msoosC++
Solver SAT tingkat lanjut
★ 940+1Perubahan bintang dalam 7 hari terakhir
#4
CreuSAT ↗@sarskoRust
CreuSAT - SAT solver yang diverifikasi secara formal, ditulis dalam Rust dan diverifikasi dengan Creusot.
★ 696+5Perubahan bintang dalam 7 hari terakhir
#5
agda-stdlib ↗@agdaAgda
Pustaka standar Agda
★ 675+0Perubahan bintang dalam 7 hari terakhir
#6
l4v ↗@seL4Isabelle
Spesifikasi dan bukti seL4
★ 633+3Perubahan bintang dalam 7 hari terakhir
#7
verdi ↗@uwplseRocq Prover
Kerangka kerja untuk memverifikasi secara formal implementasi sistem terdistribusi di Coq
★ 625+0Perubahan bintang dalam 7 hari terakhir
#8
VST ↗@PrincetonUniversityRocq Prover
Rantai Alat Perangkat Lunak Terverifikasi (Verified Software Toolchain)
★ 507+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik