Updated Gource visualization now public!
29 views
Skip to first unread message
David A. Wheeler
May 5, 2020, 5:09:32 PM5/5/20
to metamath
The video "Metamath Proof Explorer (set.mm) contributions visualized with Gource through 2020-04-29"
is now available at:
https://www.youtube.com/watch?v=LVGSeDjWzUo
This is a view of the contributions to the Metamath Proof Explorer (MPE) (aka set.mm) database using Gource through 2020-04-29.
--- David A. Wheeler
is now available at:
https://www.youtube.com/watch?v=LVGSeDjWzUo
This is a view of the contributions to the Metamath Proof Explorer (MPE) (aka set.mm) database using Gource through 2020-04-29.
--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages