![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| 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 | |