Metamath Proof Explorer contributions visualized with Gource through 2020-04-29https://www.youtube.com/watch?v=LVGSeDjWzUo by dwheeler • 6 years ago 1 0 6 years agoYOyoutube.com