cfr42/ltx-logic

A LaTeX package for drawing logical tableaux plus additional libraries for Forest trees.

语言：TeX · GitHub 星标：3 · Fork：0

话题：forest · latex · latex-package · logic · mathematics · pgf · philosophy · tableau

在 GitHub 上查看原仓库