Anthony Bordg renamed stream Machine learning and theorem proving reading group to ML for Isabelle
Last updated: Apr 25 2024 at 20:15 UTC