Mirror: Isabelle Users Mailing List (225 topics)
general (78 topics)
Beginner Questions (64 topics)
Mirror: Isabelle Development Mailing List (43 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: Jan 22 2021 at 16:01 UTC