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: Feb 25 2026 at 08:53 UTC