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: Oct 19 2026 at 03:46 UTC