Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle Cookbook updated thanks to Norbert Sc...

Email Gateway (Aug 22 2022 at 20:02):

From: "Urban, Christian via Cl-isabelle-users" <cl-isabelle-users@lists.cam.ac.uk>
Dear All,

The Isabelle Cookbook is intended to help beginners to get started
with Isabelle programming. Despite getting out-of-date some time
ago, people found the material in the Cookbook still useful for this
purpose.

Thanks to the heroic efforts of Norbert Schirmer the Cookbook
compiles now again with Isabelle 2019. You can find the details
here:

https://nms.kcl.ac.uk/christian.urban/Cookbook/

Many things are of course still missing in the Cookbook and possibly
not completely up-to-date --- we hope the material is nonetheless useful.
If you want to contribute any text to the Cookbook, feel free.

Thanks again to Norbert Schirmer for his efforts,
Christian

PDF is here:

http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf

Last updated: Apr 18 2024 at 08:19 UTC