Intercalation Calculus Prover-开源
149 浏览量
2021-04-28
13:18:16
上传
评论
收藏 41KB ZIP 举报
icprover.2008-04-14.zip （34个子文件） 
icprover 
test.sh 817B Makefile 3KB provefile 240B extraction-test.ml 3KB formula.ml 2KB
negative-classical.txt 293B proveformula.ml 598B proof.mli 1KB question.ml 6KB positive-classical.txt 475B question.mli 2KB extraction.mli 4KB loader-test.ml 1KB context.mli 2KB negative-intuition.txt 193B COPYING 34KB extraction.ml 7KB loader.mli 974B context.ml 2KB context-test.ml 2KB loader.ml 1KB rule.ml 1KB formula-test.ml 1KB formula.mli 1KB question-test.ml 2KB parser.mly 2KB file-test.ml 3KB README 895B thread.ml 2KB thread.mli 1KB lexer.mll 2KB proof.ml 3KB positive-intuition.txt 373B rule.mli 1KB资源评论
