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: Oct 25 2026 at 22:21 UTC