Streams:

• Archive Mirror: Isabelle Users Mailing List (6817 topics)
• Mirror: Isabelle Users Mailing List (2171 topics)
• Beginner Questions (1026 topics)
• General (447 topics)
• Mirror: Isabelle Development Mailing List (344 topics)
• Isabelle/ML (92 topics)
• Announcements (58 topics)
• Is there code for X? (35 topics)
• quantum computing (22 topics)
• New Members & Projects (21 topics)
• Proof Ground (7 topics)
• SErAPIS (6 topics)
• Machine Learning for Isabelle (5 topics)
• Lie (3 topics)
• IRC #isabelle (2 topics)
• EMail Test (1 topic)

Last updated: Jun 04 2026 at 15:20 UTC