Topics:
- stream events (3 messages, latest: Aug 30 2023 at 22:33)
- automatic isabelle -> Isar conversion (1 message, latest: Dec 16 2021 at 16:53)
- Blog post about refinement and how to prove it in Isabelle (1 message, latest: Nov 27 2021 at 22:30)
- ✔ start with something else than Scratch.thy? (3 messages, latest: Nov 23 2021 at 10:38)
- AutoCorres (1 message, latest: May 03 2021 at 18:01)
- HoTT/dependent types in Isabelle (5 messages, latest: Nov 02 2020 at 17:12)
- diagrammatic reasoning (16 messages, latest: Sep 22 2019 at 19:42)
- online Isabelle Tutorial (1 message, latest: Jul 31 2019 at 13:31)
- deep learning (4 messages, latest: Jul 29 2019 at 12:30)
- physics (1 message, latest: Jul 26 2019 at 22:39)
- automata and physics (1 message, latest: Jul 26 2019 at 22:24)
- quantum computing and quantum machine learning (1 message, latest: Jul 26 2019 at 22:08)
- artificial intelligence and quantum information theory (1 message, latest: Jul 26 2019 at 20:03)
- guidelines (1 message, latest: Jul 02 2019 at 13:39)
- hello (1 message, latest: Jul 02 2019 at 13:25)
Last updated: Dec 07 2023 at 16:21 UTC