Topics:
- PIDE MCP (25 messages, latest: Jul 30 2026 at 14:58)
- Yet another MCP on Isabelle (3 messages, latest: Jul 27 2026 at 15:51)
- The proof agent AoA's update channel (10 messages, latest: Jul 27 2026 at 14:27)
- Survey on Verification-Aware Programming (1 message, latest: Jun 06 2026 at 11:43)
- Isabelle Remote Procedure Call (9 messages, latest: Jan 28 2026 at 13:14)
- Neural Theorem Proving Benchmark for Verification Conditions (1 message, latest: Jan 28 2026 at 12:35)
- Annotated Isabelle scripts for pretraining (1 message, latest: Jan 28 2026 at 11:45)
- A proof shell designed for machine learning (2 messages, latest: Jan 14 2025 at 04:44)
- Eisbach match method for schematic variables in proof goals (3 messages, latest: Nov 14 2024 at 18:29)
- Georgy Dunaev (Motivation Letter) (1 message, latest: Jul 09 2024 at 18:52)
- 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: Aug 05 2026 at 21:11 UTC