如何解决如何以 *.pdf 格式在 Latex 中以原生显示方式显示任意编程语言例如 Isabelle/Isar?
我想在 Latex 中显示 Isabelle/Isar 和 Coq 语言,例如
当我以 *.pdf 格式进行编码时(对于学术论文)。 我该怎么做呢? (我希望这可以推广到其他语言,比如 Python 和 Coq,这样对每个人都有用)。 我也希望它在背面工作。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。