Streams:

• Mirror: Isabelle Users Mailing List (623 topics)
• Beginner Questions (266 topics)
• General (142 topics)
• Mirror: Isabelle Development Mailing List (101 topics)
• Isabelle/ML (31 topics)
• quantum computing (22 topics)
• Announcements (17 topics)
• New Members & Projects (16 topics)
• Proof Ground (7 topics)
• SErAPIS (6 topics)
• Machine Learning for Isabelle (5 topics)
• Is there code for X? (4 topics)
• Lie (3 topics)
• IRC #isabelle (2 topics)

Last updated: Jan 27 2022 at 20:19 UTC