文件名称:net-prove:基于证明网的学术定理证明器,专注于LG,用Haskell编写
文件大小:228KB
文件格式:ZIP
更新时间:2024-07-13 16:43:28
Haskell
网络证明 基于证明网络的学术定理证明器,专注于 LG,用 Haskell 编写。
【文件预览】:
net-prove-develop
----.gitignore(153B)
----README.md(101B)
----.project-settings.yml(163B)
----Setup.hs(46B)
----LICENSE(2KB)
----src()
--------Framework()
--------Identify.hs(0B)
--------LG()
--------Lexicon.hs(2KB)
--------Main.hs(2KB)
----net-prove.cabal(2KB)
----doc()
--------Ex18_collapse_all.svg(148KB)
--------netprovetermstyle()
--------report-term-derivation.tex(31KB)
--------setup.py(249B)
--------Ex18_nosubstitute.svg(361KB)
--------Ex18.svg(460KB)