Chủ đề · formal-mathematics
formal-mathematics
Các kho mã nguồn mở đang theo dõi được gắn thẻ formal-mathematics, sắp xếp theo số sao.
Kho mã
2
Tổng số sao
2.538
Số sao trung bình
1.269
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng formal-mathematics 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ẻ formal-mathematics.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
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 - #2
Bộ sưu tập các phát biểu hình thức hóa về các phỏng đoán trong Lean.
★ 1.220+13Thay đổi số sao trong 7 ngày qua
