![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| GetSymbols | 2025-09-07 22:13 | 150K | |
| MizItemize.pl | 2025-09-07 22:13 | 1.2K | |
| SPASS | 2025-09-07 22:13 | 617K | |
| SPASST | 2025-09-07 22:13 | 159 | |
| advisor.pl | 2025-09-07 22:13 | 6.1K | |
| dbenv2.pl | 2025-09-07 22:13 | 641 | |
| epclextract | 2025-09-07 22:13 | 276K | |
| eproof | 2025-09-07 22:13 | 3.4K | |
| eprover | 2025-09-07 22:13 | 967K | |
| fofshared.trms2 | 2025-09-07 22:13 | 411K | |
| geo | 2025-09-07 22:13 | 434K | |
| getfreeport.pl | 2025-09-07 22:13 | 840 | |
| knn | 2025-09-07 22:13 | 438K | |
| mizarsatallax | 2025-09-07 22:13 | 198 | |
| mizf | 2025-09-07 22:13 | 646 | |
| mizp.pl | 2025-09-07 22:13 | 23K | |
| mk_derived.pl | 2025-09-07 22:13 | 1.0K | |
| mkproblem.pl | 2025-09-07 22:13 | 633 | |
| nbayes | 2025-09-07 22:13 | 578K | |
| parwtlimit | 2025-09-07 22:13 | 1.7K | |
| parwtlimit1 | 2025-09-07 22:13 | 6.1K | |
| runepar2.pl | 2025-09-07 22:13 | 62K | |
| runwtlimit | 2025-09-07 22:13 | 105 | |
| snow | 2025-09-07 22:13 | 718K | |
| tptp4X | 2025-09-07 22:13 | 146K | |
| vampire_3.0 | 2013-08-27 11:10 | 4.2M | |