Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
00ChallFiles | 2024-07-26 17:02 | 284 | ||
00allmmlax | 2024-08-03 10:24 | 48M | ||
00allmmlax.std | 2024-07-26 17:02 | 49M | ||
00allmmlax_thf | 2024-08-03 01:17 | 117M | ||
00atp15 | 2024-08-03 10:26 | 4.0M | ||
00mixedinclude | 2024-08-03 10:24 | 48M | ||
00mixedinclude_thf | 2024-08-03 01:17 | 117M | ||
00miz15 | 2024-08-03 10:26 | 4.0M | ||
00mizrefs | 2024-08-03 10:25 | 6.9M | ||
00mizrefs_sch | 2024-08-03 01:17 | 6.9M | ||
00seq | 2024-08-03 10:26 | 1.6M | ||
00sym0eq | 2024-08-03 10:26 | 77M | ||
00symdeq | 2024-08-03 10:26 | 89M | ||
03div | 2024-07-26 17:02 | 23K | ||
04div | 2024-07-26 17:02 | 7.0K | ||
Axioms/ | 2024-07-26 17:02 | - | ||
Ebot/ | 2024-07-26 17:02 | - | ||
MMLdivision | 2024-07-26 17:02 | 1.2K | ||
MMLdivision.1011 | 2024-07-26 17:02 | 2.3K | ||
MMLdivtest.pl | 2024-07-26 17:02 | 458 | ||
MPTP2078/ | 2024-07-26 17:02 | - | ||
MPTPParseSPASS.pl | 2024-07-26 17:02 | 11K | ||
MaLARea/ | 2024-07-26 17:02 | - | ||
Makefile.by | 2024-07-26 17:02 | 827 | ||
MizAR/ | 2024-07-26 17:02 | - | ||
README | 2024-07-26 17:02 | 4.7K | ||
Strategies/ | 2024-07-26 17:02 | - | ||
TSTPRes/ | 2024-07-26 17:02 | - | ||
cclusters1103.pl | 2024-07-26 17:02 | 257K | ||
cclusters1132.pl | 2024-07-26 17:02 | 273K | ||
check_cnf.pl | 2024-07-26 17:02 | 356 | ||
cnfcyc.pl | 2024-07-26 17:02 | 829 | ||
constr_names1.pl | 2024-07-26 17:02 | 683K | ||
dbenv.pl | 2024-07-26 17:02 | 1.2K | ||
dbenv2.pl | 2024-07-26 17:02 | 641 | ||
dbenv_date.pl | 2024-07-26 17:02 | 1.9K | ||
dfgres.pl | 2024-07-26 17:02 | 474 | ||
dli2html.pl | 2024-07-26 17:02 | 407 | ||
env_utils.pl | 2024-07-26 17:02 | 4.0K | ||
eres.pl | 2024-07-26 17:02 | 452 | ||
err2pl.pl | 2024-07-26 17:02 | 139 | ||
err2xml.pl | 2024-07-26 17:02 | 233 | ||
extract_e_refs.pl | 2024-07-26 17:02 | 1.0K | ||
fclusters1103.pl | 2024-07-26 17:02 | 2.4M | ||
fclusters1132.pl | 2024-07-26 17:02 | 2.3M | ||
finedeps/ | 2024-07-26 17:02 | - | ||
fixrates.pl | 2024-07-26 17:02 | 614 | ||
hidden.dco2 | 2024-07-26 17:02 | 196 | ||
install_MizAR.sh | 2024-07-26 17:02 | 6.9K | ||
install_MizAR_WS.sh | 2024-07-26 17:02 | 6.3K | ||
learning/ | 2024-07-26 17:02 | - | ||
makespec1.pl | 2024-07-26 17:02 | 1.3K | ||
mizsys/ | 2024-07-26 17:02 | - | ||
mk_derived.pl | 2024-07-26 17:02 | 1.0K | ||
mk_derived_pl.sh | 2024-07-26 17:02 | 308 | ||
mkfullincludes.pl | 2024-07-26 17:02 | 378 | ||
mml.lar | 2024-06-18 09:18 | 12K | ||
mml.lar.1011 | 2024-07-26 17:02 | 8.4K | ||
mml_git/ | 2024-07-26 17:02 | - | ||
mptp_html.pl | 2024-07-26 17:02 | 488 | ||
mptp_problems_small.8.1.14_5.79.1465.tar.gz | 2024-07-29 11:35 | 476M | ||
mptp_problems_small_thf.8.1.14_5.79.1465.tar.gz | 2024-08-03 01:16 | 748M | ||
pl/ | 2024-07-26 17:02 | - | ||
problems/ | 2024-08-03 01:10 | - | ||
problems_small/ | 2024-08-03 10:26 | - | ||
problems_small_thf/ | 2024-08-03 01:17 | - | ||
snow3.refnr | 2024-08-03 10:28 | 1.0M | ||
snow3.symnr | 2024-08-03 10:28 | 192K | ||
snow3.train | 2024-08-03 10:28 | 12M | ||
snow3.train1 | 2024-08-03 10:28 | 17 | ||
terms.pl | 2024-07-26 17:02 | 4.3K | ||
tstpres2SS.sh | 2024-07-26 17:02 | 1.4K | ||
utils.pl | 2024-07-26 17:02 | 245K | ||
utils.ple | 2024-07-26 17:02 | 245K | ||
utils_no_thf.pl | 2024-07-26 17:02 | 227K | ||