How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format?

Question

I want to display the Isabelle/Isar and Coq languages in Latex, e.g.

when I do coding format in a *.pdf format (for an academic paper). How do I do this? (I hope this generalizes to other languages like Python and Coq, so that is useful to everyone). I'd like this to work in overleaf too.

question from:https://stackoverflow.com/questions/65875564/how-does-one-display-an-arbitrary-programming-language-e-g-isabelle-isar-in-l

Answer 1

Waitting for answers