proof-assistant
Các kho mã nguồn mở đang theo dõi được gắn thẻ proof-assistant, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng proof-assistant 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-assistant.
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★ 3.103+4Thay đổi số sao trong 7 ngày qua
- #3★ 2.922+3Thay đổi số sao trong 7 ngày qua
- #4
Một thư viện các AI agent cấp doanh nghiệp được thiết kế để dân chủ hóa trí tuệ nhân tạo và cung cấp các lựa chọn thay thế mã nguồn mở, miễn phí cho các công ty khởi nghiệp Y Combinator được định giá quá cao.
★ 2.806+7Thay đổi số sao trong 7 ngày qua - #5
Giới thiệu về lý thuyết ngôn ngữ lập trình trong Agda
★ 1.514+0Thay đổi số sao trong 7 ngày qua - #6★ 558+2Thay đổi số sao trong 7 ngày qua
- #7★ 547+0Thay đổi số sao trong 7 ngày qua
- #8★ 508+1Thay đổi số sao trong 7 ngày qua
