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: Jul 16 2026 at 21:01 UTC