Mirror: Isabelle Users Mailing List (73 topics)
general (69 topics)
Beginner Questions (28 topics)
quantum computing (21 topics)
Mirror: Isabelle Development Mailing List (16 topics)
new projects (10 topics)
Machine Learning for Isabelle (5 topics)
ML for Isabelle (4 topics)
Proof Ground (4 topics)
announcements (4 topics)
Lie (3 topics)
Isabelle/ML (3 topics)
Isabelle users e-mail archive Isabelle development e-mail archive
Last updated: Sep 29 2020 at 08:00 UTC