Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Hol-info] Gource Visualization


view this post on Zulip Email Gateway (Aug 19 2022 at 11:21):

From: Michael Norrish <michael.norrish@nicta.com.au>
Cute!

Michael


Last updated: Mar 28 2024 at 20:16 UTC