Mirror: Isabelle Users Mailing List (104 topics)
general (72 topics)
Beginner Questions (35 topics)
Mirror: Isabelle Development Mailing List (26 topics)
quantum computing (22 topics)
new projects (10 topics)
announcements (5 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: Oct 30 2020 at 02:00 UTC