theorem-proving
Các kho mã nguồn mở đang theo dõi được gắn thẻ theorem-proving, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng theorem-proving 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ẻ theorem-proving.
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
Sử dụng LLM làm trợ lý cho việc chứng minh định lý trong Lean
★ 1.318+1Thay đổi số sao trong 7 ngày qua - #4★ 1.190+2Thay đổi số sao trong 7 ngày qua
- #5★ 832+1Thay đổi số sao trong 7 ngày qua
- #6
Nguồn chính thức cho hệ thống chứng minh định lý HOL4. Nhánh develop là nơi diễn ra quá trình phát triển chính; khi nhánh develop vượt qua các bài kiểm thử hồi quy, nhánh master sẽ được hợp nhất để cập nhật.
★ 756+2Thay đổi số sao trong 7 ngày qua - #7★ 719+4Thay đổi số sao trong 7 ngày qua
