Stream: Machine Learning for Isabelle

Topic: stream events

view this post on Zulip Notification Bot (Aug 13 2020 at 08:48):

Kevin Kappelmann renamed stream ML for Isabelle to Machine Learning for Isabelle.

Last updated: Feb 25 2026 at 08:53 UTC