coq
Các kho mã nguồn mở đang theo dõi được gắn thẻ coq, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng coq 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ẻ coq.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Rocq Prover là một hệ thống chứng minh định lý tương tác, hay trợ lý chứng minh. Nó cung cấp một ngôn ngữ hình thức để viết các định nghĩa toán học, thuật toán thực thi và định lý cùng với một môi trường để phát triển bán tương tác các chứng minh được máy tính kiểm tra.
★ 5.562+4Thay đổi số sao trong 7 ngày qua - #2★ 2.220+1Thay đổi số sao trong 7 ngày qua
- #3
Thư viện rocq này nhằm mục đích chính thức hóa một khối lượng lớn toán học bằng cách sử dụng quan điểm univalent.
★ 1.019+2Thay đổi số sao trong 7 ngày qua - #4★ 974+0Thay đổi số sao trong 7 ngày qua
- #5★ 948+17Thay đổi số sao trong 7 ngày qua
- #6
Một ngôn ngữ chứng minh phụ thuộc (dependently-typed) nhằm giúp các kỹ sư phần mềm có thể tạo ra mã bare metal chính xác.
★ 835+0Thay đổi số sao trong 7 ngày qua - #7
Hệ thống hóa lý thuyết phạm trù không tiên đề trong Coq phục vụ nghiên cứu cá nhân và công việc thực tế
★ 808+1Thay đổi số sao trong 7 ngày qua - #8★ 696+1Thay đổi số sao trong 7 ngày qua
- #9★ 686+0Thay đổi số sao trong 7 ngày qua
- #10★ 625+0Thay đổi số sao trong 7 ngày qua
- #11
Danh sách các công ty sử dụng phương pháp hình thức (formal methods) trong công nghiệp
★ 610+1Thay đổi số sao trong 7 ngày qua - #12★ 558+2Thay đổi số sao trong 7 ngày qua
- #13
Những mẹo mà tài liệu Coq không đề cập đến [người duy trì=@tchajed]
★ 552+0Thay đổi số sao trong 7 ngày qua - #14★ 550+1Thay đổi số sao trong 7 ngày qua
- #15★ 547+0Thay đổi số sao trong 7 ngày qua
- #16★ 508+1Thay đổi số sao trong 7 ngày qua
