leanprover-community/leancrawler
An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
PythonApache-2.0
An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
PythonApache-2.0