Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle Workshop 2022 at FLoC


view this post on Zulip 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: Jul 15 2022 at 23:21 UTC