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 19 2024 at 04:18 UTC