Stream: Beginner Questions

Topic: ML documentation

view this post on Zulip Jan van Brügge (Apr 14 2021 at 19:29):

is there somewhere documentation for interacting with isabelle with ML? I am trying to understand/modify the Nominal2 code and I have no idea where to start

view this post on Zulip Jakub Kądziołka (Apr 14 2021 at 19:48):

there's https://nms.kcl.ac.uk/christian.urban/Cookbook/ and https://isabelle.in.tum.de/dist/Isabelle2021/doc/implementation.pdf

view this post on Zulip Lukas Stevens (Apr 14 2021 at 19:48):

The cookbook is the more practical guide

view this post on Zulip Jakub Kądziołka (Apr 14 2021 at 19:48):

yes, implementation.pdf only works as a reference for things you already sorta-know

view this post on Zulip Jan van Brügge (Apr 14 2021 at 19:48):

Thanks, will have a look at that

Last updated: Apr 20 2024 at 04:19 UTC