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: Apr 19 2024 at 08:19 UTC