pdf - 如何在乳胶中以 *.pdf 格式显示任意编程语言（例如 Isabelle/Isar）？

Question

我想在Latex中显示Isabelle/Isar和Coq语言，例如

当我以 *.pdf 格式（用于学术论文）进行编码时。我该怎么做呢？（我希望这可以推广到Python和Coq等其他语言，这样对每个人都有用）。我也希望这也能在背面工作。