Metamath Proof Explorer (set.mm) contributions visualized with Gource through 2019-10-04

m.youtube.com

saved by: 0 people
related read on: Gource - a software version control visualization tool from the discussion