Kevin Kappelmann renamed stream ML for Isabelle to Machine Learning for Isabelle.
Last updated: Mar 08 2025 at 01:11 UTC