Alternatives to leanprover-community/physlib
809 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.
Shares topics with
Repositories with at least two topics in common: most shared topics first. Topics are labels maintainers put on their own repositories, so they say what a project claims to be, not what its code does.
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.
Shared: lean, theorem-proving
Everything we measure about leanprover-community/physlib · stars over time, growth, contributors, issues and pull requests.