GitHub repository: leanprover-community/leancrawler
Primary language: Python
Created: 2018-08-26T11:59:20Z
Description: A python library which gathers statistics and relational information about Lean libraries.