FitchJS FitchJS是一个用Javascr ipt编写的网络应用，可让用户在Fitch风格的自然演绎系统中构造证明，并以纯文本或LaTeX格式输出经过验证的证明。 它是程序的修改，并实现了适用于Fitch表示法的类似规则集。 我不再积极开发该程序。 是一个较新的版本，其量词的语法略有不同，规则的设置也有所不同（与我在《 的规则相对应）。 该程序的实时版本在。 以下是各种javascr ipt文件内容的简要说明： scr ipt/draw.js ：使用D3.js将证明绘制为svg