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 20 2025 at 20:23 UTC