Anthony Bordg renamed stream Machine learning and theorem proving reading group to ML for Isabelle
Last updated: May 31 2025 at 04:25 UTC