Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Testboard


view this post on Zulip Email Gateway (Sep 11 2022 at 13:38):

From: Lawrence Paulson <lp15@cam.ac.uk>
It’s down, and apparently hasn’t run anything since September 2

Larry


Last updated: Mar 04 2024 at 10:08 UTC