Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Creation of Isabelle/HOL users group on Linked In

view this post on Zulip Email Gateway (Aug 18 2022 at 18:49):

From: Dave Thayer <dathayer@microsoft.com>
I have started a group on the Linked In site for Isabelle/HOL users. This is an open group if you are interested you may join.
Just click this link http://www.linkedin.com/groups?about=&gid=4217009

Last updated: Apr 25 2024 at 16:19 UTC