文件名称：woodger:Woodger、Tarski 和 Floyd 在 SNARK 中对“生物学公理方法”（1937 年）的形式化
文件大小：26KB
文件格式：ZIP
更新时间：2024-07-27 11:18:25
CommonLisp
伍德格 Woodger、Tarski 和 Floyd 在 SNARK 中对“生物学公理方法”（1937 年）的形式化。
【文件预览】：
woodger-master
----woodger.lisp(3KB)
----Tarski()
--------tarski{1.1,1.21}|-1.22.slt(5KB)
----Theorems()
--------1.3.6.lisp(2KB)
--------1.3.6.slt(3KB)
--------1.7.7.lisp(3KB)
--------1.6.12.lisp(3KB)
----archive()
--------tarski.prover9(680B)
--------setAIMA.lisp(888B)
--------woodgerfromscratch.lisp(730B)
--------tarski-geometry.lisp(2KB)
--------tarski-appendix.lisp(2KB)
--------polishguy.lisp(880B)
--------tarski.slt 4.48.21 AM(2KB)
--------tarski.slt(3KB)
--------woodger.prover9(710B)
--------NBG.prover9(6KB)
--------tarski-simplified.lisp(857B)
----LICENSE(34KB)
----scratch.lisp(566B)
----set.lisp(831B)
----README.md(115B)