Kevin Kappelmann renamed stream ML for Isabelle to Machine Learning for Isabelle.
Last updated: May 31 2025 at 04:25 UTC