lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Sao

1.345

Tăng 1 ngày

—

Tăng 7 ngày

—

Tăng 30 ngày

—

Lịch sử sao

Bắt đầu theo dõi: 2026-11-13

Đồ thị xuất hiện sau ít nhất 2 ngày thu thập.

#formal-mathematics#lean#lean4#llm#llm-inference#machine-learning#theorem-proving

Người đóng góp nhiều nhất

Chưa thu thập (chạy job contributors).

lean-dojo/LeanCopilot · AI Repo Stats