general (50 topics)
quantum computing (21 topics)
new projects (11 topics)
announcements (4 topics)
ML for Isabelle (4 topics)
Lie (3 topics)
Isabelle/ML (2 topics)
Beginner Questions (1 topic)
unification in induction tactic (1 topic)
Isabelle users e-mail archive Isabelle development e-mail archive
Last updated: May 26 2020 at 19:00 UTC