How does one display the an arbitrary programming language (e.g. Isabelles Isar) in latex in their naive display in pdf?

Question

I want to display the Isar/Isabelle (and Coq) language in Latex. As in:

when I do coding format in a pdf (for an academic paper). How do I do this? (I hope this g