lean-dojo/LeanDojo

Tool for data extraction and interacting with Lean programmatically.

LLM & mô hình nền tảngPython MIT 122tạo 2023-06-13

Sao

852

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

#lean#lean4#llm#machine-learning#theorem-proving

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

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

lean-dojo/LeanDojo · AI Repo Stats