Mirror: Isabelle Users Mailing List (314 topics)
Beginner Questions (84 topics)
general (83 topics)
Mirror: Isabelle Development Mailing List (51 topics)
quantum computing (22 topics)
new projects (10 topics)
announcements (6 topics)
Machine Learning for Isabelle (5 topics)
ML for Isabelle (4 topics)
Proof Ground (4 topics)
Lie (3 topics)
Isabelle/ML (3 topics)
Isabelle users e-mail archive Isabelle development e-mail archive
Last updated: Mar 08 2021 at 19:00 UTC