Is there a way to put Isabelle code in Latex ?
Yes, using the Document Prep. System. see isar-ref chapter 4: document prep. and the latex sugar pdf here
isar-ref
Last updated: May 31 2025 at 04:25 UTC