lean-dojo / LeanCopilot

RepositoryStats indexes 579,555 repositories, of these lean-dojo/LeanCopilot is ranked #50,952 (91st percentile) for total stargazers, and #154,689 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #2,730/31,036.

lean-dojo/LeanCopilot is also tagged with popular topics, for these it's ranked: machine-learning (#1,319/7877),  llm-inference (#27/152)

lean-dojo/LeanCopilot has 1 open pull request on Github, 73 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 8 open issues and 34 closed issues.

There have been 31 releases, the latest one was published on 2024-09-02 (2 months ago) with the name v1.6.0.

Homepage URL: https://leandojo.org