Stream: Machine Learning for Isabelle

Topics:

• stream events (1 message, latest: Aug 13 2020 at 08:48)
• autoformalization (1 message, latest: Oct 23 2019 at 10:24)
• Machine Learning & Isabelle/HOL (1 message, latest: Jul 17 2019 at 03:21)
• Cambridge reading group (10 messages, latest: Jul 16 2019 at 11:22)
• welcome (1 message, latest: Jul 14 2019 at 09:25)

Last updated: May 09 2025 at 04:26 UTC