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