Under "Distribution & Support” it would make sense to mention the rather active Zulip community: https://isabelle.zulipchat.com/
My impression is that it’s livelier than StackOverflow. Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
