![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | mml.lar | 2020-06-18 08:02 | 12K | |
![]() | 00ChallFiles | 2021-07-17 17:16 | 284 | |
![]() | 03div | 2021-07-17 17:16 | 23K | |
![]() | 04div | 2021-07-17 17:16 | 7.0K | |
![]() | Ebot/ | 2021-07-17 17:16 | - | |
![]() | MMLdivision | 2021-07-17 17:16 | 1.2K | |
![]() | MMLdivision.1011 | 2021-07-17 17:16 | 2.3K | |
![]() | MMLdivtest.pl | 2021-07-17 17:16 | 458 | |
![]() | MPTP2078/ | 2021-07-17 17:16 | - | |
![]() | MPTPParseSPASS.pl | 2021-07-17 17:16 | 11K | |
![]() | MaLARea/ | 2021-07-17 17:16 | - | |
![]() | Makefile.by | 2021-07-17 17:16 | 827 | |
![]() | MizAR/ | 2021-07-17 17:16 | - | |
![]() | README | 2021-07-17 17:16 | 4.7K | |
![]() | Strategies/ | 2021-07-17 17:16 | - | |
![]() | TSTPRes/ | 2021-07-17 17:16 | - | |
![]() | cclusters1103.pl | 2021-07-17 17:16 | 257K | |
![]() | cclusters1132.pl | 2021-07-17 17:16 | 273K | |
![]() | check_cnf.pl | 2021-07-17 17:16 | 356 | |
![]() | cnfcyc.pl | 2021-07-17 17:16 | 829 | |
![]() | constr_names1.pl | 2021-07-17 17:16 | 683K | |
![]() | dbenv.pl | 2021-07-17 17:16 | 1.2K | |
![]() | dbenv2.pl | 2021-07-17 17:16 | 641 | |
![]() | dbenv_date.pl | 2021-07-17 17:16 | 1.9K | |
![]() | dfgres.pl | 2021-07-17 17:16 | 474 | |
![]() | dli2html.pl | 2021-07-17 17:16 | 407 | |
![]() | env_utils.pl | 2021-07-17 17:16 | 4.0K | |
![]() | eres.pl | 2021-07-17 17:16 | 452 | |
![]() | err2pl.pl | 2021-07-17 17:16 | 139 | |
![]() | err2xml.pl | 2021-07-17 17:16 | 233 | |
![]() | extract_e_refs.pl | 2021-07-17 17:16 | 1.0K | |
![]() | fclusters1103.pl | 2021-07-17 17:16 | 2.4M | |
![]() | fclusters1132.pl | 2021-07-17 17:16 | 2.3M | |
![]() | finedeps/ | 2021-07-17 17:16 | - | |
![]() | fixrates.pl | 2021-07-17 17:16 | 614 | |
![]() | hidden.dco2 | 2021-07-17 17:16 | 196 | |
![]() | install_MizAR.sh | 2021-07-17 17:16 | 6.9K | |
![]() | install_MizAR_WS.sh | 2021-07-17 17:16 | 6.3K | |
![]() | learning/ | 2021-07-17 17:16 | - | |
![]() | makespec1.pl | 2021-07-17 17:16 | 1.3K | |
![]() | mizsys/ | 2021-07-17 17:16 | - | |
![]() | mk_derived.pl | 2021-07-17 17:16 | 1.0K | |
![]() | mk_derived_pl.sh | 2021-07-17 17:16 | 308 | |
![]() | mkfullincludes.pl | 2021-07-17 17:16 | 378 | |
![]() | mml.lar.1011 | 2021-07-17 17:16 | 8.4K | |
![]() | mml_git/ | 2021-07-17 17:16 | - | |
![]() | mptp_html.pl | 2021-07-17 17:16 | 488 | |
![]() | terms.pl | 2021-07-17 17:16 | 4.3K | |
![]() | tstpres2SS.sh | 2021-07-17 17:16 | 1.4K | |
![]() | utils.ple | 2021-07-17 17:16 | 245K | |
![]() | utils_no_thf.pl | 2021-07-17 17:16 | 227K | |
![]() | pl/ | 2021-07-17 17:16 | - | |
![]() | utils.pl.used_ok_bck | 2021-07-17 17:16 | 245K | |
![]() | Axioms/ | 2021-07-17 17:16 | - | |
![]() | mptp_problems_small.8.1.10_5.63.1382.tar.gz | 2021-07-18 12:46 | 308M | |
![]() | mptp_problems_small_thf.8.1.10_5.63.1382.tar.gz | 2021-07-19 23:12 | 503M | |
![]() | problems_small_thf.orig2021/ | 2021-07-19 23:12 | - | |
![]() | 00allmmlax_thf | 2021-07-25 13:26 | 77M | |
![]() | 00mixedinclude_thf | 2021-07-25 13:26 | 77M | |
![]() | 00mizrefs_sch | 2021-07-25 13:26 | 6.0M | |
![]() | 00mizrefs | 2021-07-25 21:03 | 6.1M | |
![]() | snow3.train | 2021-07-25 21:05 | 10M | |
![]() | snow3.symnr | 2021-07-25 21:05 | 168K | |
![]() | snow3.refnr | 2021-07-25 21:05 | 928K | |
![]() | snow3.train1 | 2021-07-25 21:05 | 17 | |
![]() | 00allmmlax.std | 2022-06-25 11:46 | 44M | |
![]() | 00allmmlax | 2022-06-25 11:48 | 62M | |
![]() | 00mixedinclude | 2022-06-25 11:48 | 62M | |
![]() | 00atp15.old | 2022-06-25 11:56 | 6.4M | |
![]() | 00miz15.bad | 2022-06-25 11:56 | 11M | |
![]() | 00atp15 | 2022-06-25 12:45 | 6.4M | |
![]() | problems_small/ | 2022-06-25 12:45 | - | |
![]() | 00miz15 | 2022-06-25 12:46 | 6.4M | |
![]() | 00seq | 2022-06-25 12:47 | 3.8M | |
![]() | 00atp15_thf | 2022-06-25 12:48 | 6.2M | |
![]() | 00miz15_thf | 2022-06-25 12:48 | 6.2M | |
![]() | 00symdeq | 2022-06-25 12:49 | 118M | |
![]() | 00sym0eq | 2022-06-25 12:51 | 102M | |
![]() | utils_dev1.pl | 2023-06-27 14:41 | 245K | |
![]() | utils.pl | 2023-06-27 14:41 | 245K | |
![]() | problems_small_thf/ | 2023-06-27 14:42 | - | |
![]() | problems1/ | 2023-06-27 14:50 | - | |
![]() | problems2_thf/ | 2023-06-27 15:24 | - | |
![]() | utils_new_thf.pl | 2023-06-28 06:57 | 246K | |
![]() | problems/ | 2023-06-28 19:41 | - | |