Anthony Bordg renamed stream Machine learning and theorem proving reading group to ML for Isabelle
Last updated: Oct 12 2024 at 20:18 UTC
Notification Bot (Jul 14 2019 at 09:25): Notification Bot (Jul 14 2019 at 09:25):