irvin (Mar 13 2025 at 16:06): irvin (Mar 13 2025 at 16:06):Hi all. There's currently an attempt to identify participants of the first HOL user meeting in the HOL zulip. https://hol.zulipchat.com/#narrow/channel/486424-.E2.98.95.EF.B8.8F-General/topic/Identify.20participants.20of.20the.20first.20HOL.20users.20meeting/with/505388398 Any help would be greatly appreciated.
irvin (Mar 13 2025 at 18:05):https://www.cl.cam.ac.uk/ftp/hvg/pictures/hug88.gif Here is the photo
Last updated: May 09 2025 at 04:26 UTC