Email Gateway (Aug 19 2022 at 11:21): Email Gateway (Aug 19 2022 at 11:21):From: Tjark Weber <webertj@in.tum.de>
Hi,
I've used Gource [1] to visualize the development history (as recorded
in public repository logs) of Coq, HOL4 and Isabelle. Enjoy!
14 years of Coq development:
http://youtu.be/qyM4D6-623A
14 years of HOL4 development:
http://youtu.be/uwLMZFEiQp4
20 years of Isabelle development:
http://youtu.be/tF3ubZlsrsQ
Best,
Tjark
[1] https://code.google.com/p/gource/
Last updated: Nov 21 2024 at 12:39 UTC