Stream: Beginner Questions

Topic: Putting Isabelle code in Latex

Lekhani Ray (Aug 07 2022 at 20:06):

Is there a way to put Isabelle code in Latex ?

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: Sep 28 2026 at 16:33 UTC