OpenLogicProject/fitch

Peter Selinger's LaTeX macros for Fitch style natural deduction

语言：TeX · GitHub 星标：21 · Fork：5

在 GitHub 上查看原仓库