[1/3] 我太聪明了,在 ConTeXt 幻灯片里实现了自动输出 HOL4 定理排版。因为这件事已经比直接用 LaTeX 还要方便了,所以 LaTeX Beamer 我以后再也不用了)。
幻灰龙:拼接PDF?
Please Login to reply.
田春冰河
:差不多。ConTeXt 的这个 filter 模块可以调用任何第三方程序输出 PDF 然后插入到自己的 PDF 输出里,官方的示例支持 Markdown。