Chủ sở hữu · lean-dojo

lean-dojo

Các kho mã nguồn mở đang theo dõi của lean-dojo, sắp xếp theo số sao.

2 kho mã

#1
LeanCopilot ↗@lean-dojoC++
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
LeanDojo ↗@lean-dojoPython
Công cụ trích xuất dữ liệu và tương tác với Lean theo lập trình.
★ 832+1Thay đổi số sao trong 7 ngày qua