Alternatives to lean-dojo/LeanCopilot

1.3k stars · C++ · back to the repository

Two measured signals: repositories that share topics (at least two), and repositories discussed in the same threads. Cards are ranked by stars gained this week.

We cannot name alternatives for this repository yet: it shares fewer than two topics with anything in the library and has no thread where it came up next to another repository.

Everything we measure about lean-dojo/LeanCopilot · stars over time, growth, contributors, issues and pull requests.