Kevin Kappelmann renamed stream ML for Isabelle to Machine Learning for Isabelle.
Last updated: Apr 27 2024 at 20:14 UTC