/leancrawler

An obsolete python library which gathers statistics and relational information about Lean 3 libraries.

Primary LanguagePythonApache License 2.0Apache-2.0

Stargazers