https://github.com/theoremprover-museum/CLIN
History
Tip revision: e7082fbde3634286f458d64846699ae488fe18f3 authored by Michael Kohlhase on 22 December 2016, 09:28 UTC
initial commit, thanks to David Plaisted
Tip revision: e7082fb
File Mode Size
ALS
Cprolog -rw-r--r-- 1.1 KB
Eclipse -rw-r--r-- 6.1 KB
Eclipse.old -rw-r--r-- 5.7 KB
Eclipse.old1 -rw-r--r-- 5.5 KB
Quintus -rw-r--r-- 928 bytes
Quintus_1.old -rw-r--r-- 802 bytes
Quintus_2.old -rw-r--r-- 291 bytes
README.md -rw-r--r-- 66 bytes
auxiliary -rw-r--r-- 18.1 KB
bug.report -rw-r--r-- 3.5 KB
clausify -rw-r--r-- 1.2 KB
command -rw-r--r-- 8.5 KB
compile.eclipse -rw-r--r-- 144 bytes
compile.in -rw-r--r-- 56 bytes
compile.quintus -rw-r--r-- 163 bytes
define -rw-r--r-- 4.4 KB
exprules -rw-r--r-- 1.7 KB
files_changed -rw-r--r-- 914 bytes
fls -rw-r--r-- 5.4 KB
hyper -rw-r--r-- 47.1 KB
hyper.old -rw-r--r-- 46.3 KB
instdel -rw-r--r-- 4.1 KB
interp -rw-r--r-- 12.2 KB
library -rw-r--r-- 11.2 KB
main -rw-r--r-- 12.7 KB
main.old -rw-r--r-- 12.6 KB
pc -rw-r--r-- 16.1 KB
prover -rw-r--r-- 1.9 KB
prover.als -rw-r--r-- 1.9 KB
prover.cprolog -rw-r--r-- 1.8 KB
prover.old -rw-r--r-- 1.8 KB
replace -rw-r--r-- 22.1 KB
replace.old -rw-r--r-- 21.9 KB
simplify -rw-r--r-- 13.7 KB
skolem -rw-r--r-- 10.7 KB
spc -rw-r--r-- 12.4 KB
to_do -rw-r--r-- 99 bytes
try -rw-r--r-- 13.0 KB
try.old -rw-r--r-- 12.8 KB
xvisor -rw-r--r-- 8.7 KB

README.md

back to top