31

HaTeXを使用するなど、Haskell 経由で (ここに示されているような)自然演繹証明ツリーの LaTeX ソースを作成するにはどうすればよいでしょうか? bussproofs.styproof.styのようなLaTeX をエミュレートしたいと思います。.sty

4

1 に答える 1