文件名称：fitchjs：Fitch样式证明构造函数
文件大小：126KB
文件格式：ZIP
更新时间：2024-02-25 08:56:31
javascript latex proof logic proof-assistant
FitchJS FitchJS是一个用JavaScript编写的网络应用，可让用户在Fitch风格的自然演绎系统中构造证明，并以纯文本或LaTeX格式输出经过验证的证明。 它是程序的修改，并实现了适用于Fitch表示法的类似规则集。 我不再积极开发该程序。 是一个较新的版本，其量词的语法略有不同，规则的设置也有所不同（与我在《 的规则相对应）。 该程序的实时版本在。 以下是各种javascript文件内容的简要说明： script/draw.js ：使用D3.js将证明绘制为svg的代码。 script/parsing.js ：将公式解析为树的代码。 还包含用于将“普通”表示法中的公
【文件预览】：
fitchjs-gh-pages
----style()
--------fitch.css(4KB)
----img()
--------github.png(2KB)
----index.html(23KB)
----LICENSE(1KB)
----samples()
--------fitch.tex(2KB)
--------examples.html(2KB)
--------fitch.pdf(36KB)
--------sample_proof_layout.html(1KB)
--------fitch.sty(4KB)
----.gitignore(9B)
----README.md(3KB)
----script()
--------rules_pl.js(15KB)
--------draw.js(4KB)
--------rules_ql.js(9KB)
--------rules_helper.js(10KB)
--------userio.js(18KB)
--------rules_siti_pl.js(8KB)
--------d3.min.js(149KB)
--------validate.js(5KB)
--------ui.js(2KB)
--------parsing.js(6KB)