lean-dojo/LeanCopilot
LeanCopilot is a C++ library that uses large language models (LLMs) as copilots for theorem proving in the Lean programming language.
C++
AI & Machine Learning
LLM Frameworks
MIT
1.2K
Stars
123
Forks
Sep 9, 2023
Created
Feb 17, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+14
+1.1% change
Avg Daily Growth (1 Month)
+0.5
stars per day
Fork/Star Ratio (All Time)
10.0%
Normal engagement
Lifetime Growth
1.4
stars/day over 910 days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
formal-mathematics
lean
theorem-proving
llm-inference
machine-learning
Similar Projects
EbookFoundation/free-programming-books
Free programming books repository with AI-powered features
383.6K
Python
jwasham/coding-interview-university
A comprehensive computer science study plan for software engineers, with a focus on coding interviews and AI-related topics.
337.6K
vinta/awesome-python
Awesome Python framework and resource collection
285.7K
Python
openclaw/openclaw
Personal AI assistant for messaging platforms, self-hosted and multi-channel
265.0K
TypeScript
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.