https://github.com/JUrban/MPTP2
Tip revision: d27d2099befdb4bc86d0e312fbf6742db4719fba authored by Josef Urban on 22 February 2017, 13:23:11 UTC
simple looper for finding contradictions
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 |