general (56 topics)
quantum computing (21 topics)
new projects (10 topics)
Beginner Questions (6 topics)
Proof Ground (4 topics)
ML for Isabelle (4 topics)
announcements (4 topics)
Lie (3 topics)
Isabelle/ML (2 topics)
Mirror: Isabelle Users Mailing List (1 topic)
Isabelle users e-mail archive Isabelle development e-mail archive
Last updated: Jul 14 2020 at 10:00 UTC