Zulip Chat Archive

Stream: general

Topic: Lean Crawler

Patrick Massot (Aug 27 2018 at 19:58):

Yesterday I release the preliminary hacky version of my Lean library crawler at https://github.com/leanprover-community/leancrawler. It's in the community organization so don't hesitate to request push access if you want to make it much better

Patrick Massot (Aug 27 2018 at 20:00):

It's the piece of sofware behind the mathlib quiz and graphs like big_comp.png

Patrick Massot (Aug 27 2018 at 20:00):

(I attached the usable gephi file of that graph somewhere in the quiz thread)

Last updated: Dec 20 2023 at 11:08 UTC