Chủ đề · lean4
lean4
Các kho mã nguồn mở đang theo dõi được gắn thẻ lean4, sắp xếp theo số sao.
Kho mã
10
Tổng số sao
21.235
Số sao trung bình
2.124
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng lean4 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ẻ lean4.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1★ 8.928+49Thay đổi số sao trong 7 ngày qua
- #2★ 3.986+57Thay đổi số sao trong 7 ngày qua
- #3
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.805+14Thay đổi số sao trong 7 ngày qua - #4
Sử dụng LLM làm trợ lý cho việc chứng minh định lý trong Lean
★ 1.318+4Thay đổi số sao trong 7 ngày qua - #5
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.219+11Thay đổi số sao trong 7 ngày qua - #6★ 832+4Thay đổi số sao trong 7 ngày qua
- #7★ 571+1Thay đổi số sao trong 7 ngày qua
- #8★ 547+3Thay đổi số sao trong 7 ngày qua
- #9
Giao diện chứng minh định lý Lean mang lại cảm giác như viết trên giấy.
★ 543+2Thay đổi số sao trong 7 ngày qua - #10★ 526+2Thay đổi số sao trong 7 ngày qua
