Stream: General

Topic: Isabelle website is down

Mario Xerxes Castelán Castro (Aug 07 2026 at 23:44):

<https://isabelle.in.tum.de/> is down.

Ant S. (Aug 08 2026 at 11:20):

The UK/AUS ones are still up

Last updated: Oct 05 2026 at 04:40 UTC