net-prove
所属分类：数值算法/人工智能
开发工具：Haskell
文件大小：227KB
下载次数：0
上传日期：2015-02-19 21:59:06
上 传 者：
sh-1993
说明： 基于证明网的学术定理证明者，专注于LG，用Haskell写成。
(Academic theorem prover based on proof nets, focused on LG, written in Haskell.)
文件列表:
net-prove-develop (0, 2015-02-20)
net-prove-develop\.project-settings.yml (163, 2015-02-20)
net-prove-develop\LICENSE (1607, 2015-02-20)
net-prove-develop\Setup.hs (46, 2015-02-20)
net-prove-develop\doc (0, 2015-02-20)
net-prove-develop\doc\Ex18.svg (471494, 2015-02-20)
net-prove-develop\doc\Ex18_collapse_all.svg (151894, 2015-02-20)
net-prove-develop\doc\Ex18_nosubstitute.svg (369465, 2015-02-20)
net-prove-develop\doc\netprovetermstyle (0, 2015-02-20)
net-prove-develop\doc\netprovetermstyle\__init__.py (500, 2015-02-20)
net-prove-develop\doc\report-term-derivation.tex (32248, 2015-02-20)
net-prove-develop\doc\setup.py (249, 2015-02-20)
net-prove-develop\net-prove.cabal (1684, 2015-02-20)
net-prove-develop\src (0, 2015-02-20)
net-prove-develop\src\Framework (0, 2015-02-20)
net-prove-develop\src\Framework\Graph.hs (76, 2015-02-20)
net-prove-develop\src\Identify.hs (0, 2015-02-20)
net-prove-develop\src\LG (0, 2015-02-20)
net-prove-develop\src\LG\Base.hs (1350, 2015-02-20)
net-prove-develop\src\LG\Graph.hs (8849, 2015-02-20)
net-prove-develop\src\LG\Identify.hs (14424, 2015-02-20)
net-prove-develop\src\LG\Reductions.hs (10553, 2015-02-20)
net-prove-develop\src\LG\Subnet.hs (12181, 2015-02-20)
net-prove-develop\src\LG\SubnetGraph.hs (12986, 2015-02-20)
net-prove-develop\src\LG\Term.hs (6769, 2015-02-20)
net-prove-develop\src\LG\TestGraph.hs (4533, 2015-02-20)
net-prove-develop\src\LG\Unfold.hs (13287, 2015-02-20)
net-prove-develop\src\Lexicon.hs (2389, 2015-02-20)
net-prove-develop\src\Main.hs (2345, 2015-02-20)
net-prove
=========
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
近期下载者：
相关文件：
收藏者：