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: Jul 14 2025 at 16:29 UTC