https://github.com/JUrban/MPTP2
History
Tip revision: d27d2099befdb4bc86d0e312fbf6742db4719fba authored by Josef Urban on 22 February 2017, 13:23:11 UTC
simple looper for finding contradictions
Tip revision: d27d209
File Mode Size
Ebot
MPTP2078
MaLARea
MizAR
Strategies
TSTPRes
finedeps
learning
mizsys
mml_git
00ChallFiles -rw-r--r-- 284 bytes
03div -rw-r--r-- 23.2 KB
04div -rw-r--r-- 7.0 KB
MMLdivision -rw-r--r-- 1.2 KB
MMLdivision.1011 -rw-r--r-- 2.3 KB
MMLdivtest.pl -rw-r--r-- 458 bytes
MPTPParseSPASS.pl -rw-r--r-- 10.9 KB
Makefile.by -rw-r--r-- 827 bytes
README -rw-r--r-- 4.7 KB
cclusters1103.pl -rw-r--r-- 256.8 KB
cclusters1132.pl -rw-r--r-- 273.0 KB
check_cnf.pl -rwxr-xr-x 356 bytes
cnfcyc.pl -rw-r--r-- 829 bytes
constr_names1.pl -rw-r--r-- 683.0 KB
dbenv.pl -rwxr-xr-x 1.2 KB
dbenv2.pl -rwxr-xr-x 641 bytes
dbenv_date.pl -rwxr-xr-x 1.9 KB
dfgres.pl -rwxr-xr-x 474 bytes
dli2html.pl -rwxr-xr-x 407 bytes
env_utils.pl -rw-r--r-- 4.0 KB
eres.pl -rwxr-xr-x 452 bytes
err2pl.pl -rwxr-xr-x 139 bytes
err2xml.pl -rwxr-xr-x 233 bytes
extract_e_refs.pl -rwxr-xr-x 1004 bytes
fclusters1103.pl -rw-r--r-- 2.4 MB
fclusters1132.pl -rw-r--r-- 2.3 MB
fixrates.pl -rwxr-xr-x 614 bytes
hidden.dco2 -rw-r--r-- 196 bytes
install_MizAR.sh -rwxr-xr-x 6.9 KB
install_MizAR_WS.sh -rwxr-xr-x 6.3 KB
makespec1.pl -rwxr-xr-x 1.3 KB
mk_derived.pl -rwxr-xr-x 1.0 KB
mk_derived_pl.sh -rw-r--r-- 308 bytes
mkfullincludes.pl -rw-r--r-- 378 bytes
mml.lar.1011 -rw-r--r-- 8.4 KB
mptp_html.pl -rwxr-xr-x 488 bytes
terms.pl -rw-r--r-- 4.3 KB
tstpres2SS.sh -rwxr-xr-x 1.4 KB
utils.pl -rw-r--r-- 245.3 KB
utils_no_thf.pl -rw-r--r-- 226.7 KB

README

back to top