leanprover-community / leancrawler

An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
17Updated 8 months ago

Related projects

Alternatives and complementary repositories for leancrawler