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: Aug 26 2026 at 08:45 UTC