Alternatives to leanprover/cslib

781 stars · Lean · 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 leanprover/cslib · stars over time, growth, contributors, issues and pull requests.