LeanCopilot
by lean-dojo (organization)
LLMs as Copilots for Theorem Proving in Lean (description from the project’s GitHub page)
Repository facts
- Stars
- 1,333
- Forks
- 130
- Open issues and pull requests
- 0
- Primary language
- C++
- License
- MIT License (MIT)
- Owner
- lean-dojo · Organization
- Created
- Sep 9, 2023
- Last push
- Oct 13, 2026
Topics
Add this badge to your README
Shows this repository’s rank in AI on GitHub and links back to this page. Ranks are by stars and change when the list is refreshed. The badge is not an endorsement or a rating. About the badges
Markdown (for a README)
[](https://unitedstatesofamericasuperintelligence.com/github/lean-dojo--leancopilot/)
HTML
<a href="https://unitedstatesofamericasuperintelligence.com/github/lean-dojo--leancopilot/"><img src="https://unitedstatesofamericasuperintelligence.com/badges/github/lean-dojo--leancopilot.svg" alt="Ranked #4,993 in AI on GitHub" height="20"></a>
Related projects
Projects that share this one’s GitHub topics.
Rank 5,805: fabio-rovai/open-ontologies
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
1,082 starsRustMITLast push Oct 17, 2026
Rank 2,759: sahibzada-allahyar/YC-Killer
A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups.
2,848 starsTypeScriptNo license file detectedLast push Aug 10, 2026
Rank 8,484: andrewkchan/yalm
Yet Another Language Model: LLM inference in C++/CUDA, no libraries except for I/O
604 starsC++No license file detectedLast push Sep 13, 2025
Rank 138: ray-project/ray
Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
44,061 starsPythonApache-2.0Last push Oct 18, 2026
Rank 908: FareedKhan-dev/kimi-k3-in-c
A 2.78-trillion-parameter Kimi K3 running inference on a single CPU in 8.24 GB of RAM. Portable C99: no BLAS, no framework, no GPU.
9,094 starsCApache-2.0Last push Oct 2, 2026
Rank 922: bentoml/BentoML
The easiest way to serve AI apps and models - Build Model Inference APIs, Job queues, LLM apps, Multi-model pipelines, and more!
8,906 starsPythonApache-2.0Last push Oct 5, 2026