Zulip Chat Archive
Stream: general
Topic: visualisation of mathlib's git repo
Johan Commelin (Oct 13 2018 at 13:17):
Just for the heck of it I uploaded a gource visualisation of the development of mathlib's git repo:
https://vimeo.com/294924221
Kevin Buzzard (Oct 13 2018 at 14:36):
I love the way it goes crazy when the university terms finish at the end of June :-)
Last updated: Dec 20 2023 at 11:08 UTC