pechersky / leancrawler Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/leancrawler
A python library which gathers statistics and relational information about Lean libraries.
License: Apache License 2.0