Email Gateway (Aug 18 2022 at 09:31): Email Gateway (Aug 18 2022 at 09:31):From: Christoph Lueth <Christoph.Lueth@dfki.de>
Dear Isabelle people,
please let us draw your attention to the AWE Extensions pack, a set of
extensions to Isabelle2005, such as theory morphisms, parameterised theories and
theorem abstraction.
We have just released Version 0.4, suitable for use with Isabelle2005, and
invite you to download it from our web site (under 'Software'):
http://www.informatik.uni-bremen.de/~cxl/awe
The download also includes plenty of interesting examples modelled with our
extensions, such as computational monads. A manual is also available.
We hope this might prove interesting or even useful to you.
Best regards,
-- Christoph Lüth, Maksym Bortin, and Einar Broch Johnsen.
Last updated: May 03 2024 at 08:18 UTC