Stream: Beginner Questions

Topic: Putting Isabelle code in Latex

view this post on Zulip Lekhani Ray (Aug 07 2022 at 20:06):

Is there a way to put Isabelle code in Latex ?

view this post on Zulip Robert Soeldner (Aug 08 2022 at 08:59):

Yes, using the Document Prep. System. see isar-ref chapter 4: document prep. and the latex sugar pdf here

Last updated: Feb 01 2025 at 20:19 UTC