Kevin Kappelmann renamed stream ML for Isabelle to Machine Learning for Isabelle.
Last updated: Sep 13 2025 at 12:36 UTC