Anthony Bordg renamed stream Machine learning and theorem proving reading group to ML for Isabelle
Last updated: May 19 2024 at 01:13 UTC