Chủ đề · proof

proof

Các kho mã nguồn mở đang theo dõi được gắn thẻ proof, sắp xếp theo số sao.

Kho mã

8

Tổng số sao

7.070

Số sao trung bình

884

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng proof trên cùng một kho mã.

Mới nổi gần đây

Các kho mã tạo trong 90 ngày qua và được gắn thẻ proof.

Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.

#1
creusot ↗@creusot-rsRust
Creusot giúp bạn chứng minh mã nguồn Rust của mình là chính xác.
★ 1.834+4Thay đổi số sao trong 7 ngày qua
#2
rocq-of-rust ↗@formal-landRocq Prover
Công cụ kiểm tra hình thức dành cho Rust: kiểm tra 100% các trường hợp thực thi trong chương trình của bạn để tạo ra các ứng dụng an toàn hơn.
★ 1.161+3Thay đổi số sao trong 7 ngày qua
#3
cryptominisat ↗@msoosC++
Một bộ giải SAT tiên tiến.
★ 940+1Thay đổi số sao trong 7 ngày qua
#4
CreuSAT ↗@sarskoRust
CreuSAT - Một bộ giải SAT được xác minh hình thức viết bằng Rust và được xác minh bằng Creusot.
★ 696+5Thay đổi số sao trong 7 ngày qua
#5
agda-stdlib ↗@agdaAgda
Thư viện chuẩn của Agda.
★ 675+0Thay đổi số sao trong 7 ngày qua
#6
l4v ↗@seL4Isabelle
Đặc tả và chứng minh seL4
★ 633+3Thay đổi số sao trong 7 ngày qua
#7
verdi ↗@uwplseRocq Prover
Một framework để xác minh chính thức các triển khai hệ thống phân tán trong Coq.
★ 625+0Thay đổi số sao trong 7 ngày qua
#8
VST ↗@PrincetonUniversityRocq Prover
Chuỗi công cụ phần mềm đã được xác minh
★ 507+0Thay đổi số sao trong 7 ngày qua

← Quay lại danh sách chủ đề