Email Gateway (Jun 30 2022 at 19:31): Email Gateway (Jun 30 2022 at 19:31):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the Isabelle Workshop 2022 website is now complete, including full papers:
https://sketis.net/isabelle/isabelle-workshop-2022
After the event, the presenters will have an opportunity to provide PDF slides
for the public record.
Makarius
Last updated: Feb 05 2025 at 16:23 UTC