![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| LUSK3.pcl | 2024-05-01 15:59 | 117K | |
| Makefile.dependencies | 2024-05-01 15:59 | 81K | |
| eprover.c | 2024-05-01 15:59 | 76K | |
| classify_problem.c | 2024-05-01 15:59 | 24K | |
| eground.c | 2024-05-01 15:59 | 22K | |
| NUM030-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 20K | |
| epcllemma.c | 2024-05-01 15:59 | 20K | |
| e_server.c | 2024-05-01 15:59 | 13K | |
| e_axfilter.c | 2024-05-01 15:59 | 12K | |
| SET103-6+rm_eq_rstfp..> | 2024-05-01 15:59 | 11K | |
| edpll.c | 2024-05-01 15:59 | 11K | |
| ekb_ginsert.c | 2024-05-01 15:59 | 11K | |
| checkproof.c | 2024-05-01 15:59 | 10K | |
| tsm_classify.c | 2024-05-01 15:59 | 10K | |
| LTBSampleInput2.txt | 2024-05-01 15:59 | 9.9K | |
| epclextract.c | 2024-05-01 15:59 | 9.8K | |
| ekb_insert.c | 2024-05-01 15:59 | 9.1K | |
| e_client.c | 2024-05-01 15:59 | 8.9K | |
| ekb_create.c | 2024-05-01 15:59 | 8.1K | |
| direct_examples.c | 2024-05-01 15:59 | 7.8K | |
| ekb_delete.c | 2024-05-01 15:59 | 7.8K | |
| e_ltb_runner.c | 2024-05-01 15:59 | 7.6K | |
| eproof | 2024-05-01 15:59 | 7.1K | |
| epclanalyse.c | 2024-05-01 15:59 | 6.7K | |
| termprops.c | 2024-05-01 15:59 | 5.4K | |
| Makefile | 2024-05-01 15:59 | 5.2K | |
| regression.tptp | 2024-05-01 15:59 | 5.2K | |
| PUZ031-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 4.3K | |
| eproof_ram | 2024-05-01 15:59 | 4.2K | |
| filters.txt | 2024-05-01 15:59 | 3.9K | |
| PLA002-2+rm_eq_rstfp..> | 2024-05-01 15:59 | 3.8K | |
| RNG019-6+rm_eq_rstfp..> | 2024-05-01 15:59 | 3.1K | |
| SET366+4+rm_eq_rstfp..> | 2024-05-01 15:59 | 2.7K | |
| COL003-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 2.5K | |
| MSC006-1.lop | 2024-05-01 15:59 | 2.2K | |
| eproof.pl | 2024-05-01 15:59 | 2.2K | |
| e_version.h | 2024-05-01 15:59 | 1.7K | |
| BOO001-1+rm_eq_rstfp..> | 2024-05-01 15:59 | 1.5K | |
| LUSK3.lop | 2024-05-01 15:59 | 1.4K | |
| LUSK6ext.lop | 2024-05-01 15:59 | 1.2K | |
| LUSK6.lop | 2024-05-01 15:59 | 1.2K | |
| ALL_RULES.lop | 2024-05-01 15:59 | 1.0K | |
| uae.p | 2024-05-01 15:59 | 845 | |
| LTBSampleInput1.txt | 2024-05-01 15:59 | 838 | |
| GROUP.lop | 2024-05-01 15:59 | 625 | |
| LAT4.lop | 2024-05-01 15:59 | 495 | |
| INVCOM.lop | 2024-05-01 15:59 | 465 | |
| LTBSampleInput4.txt | 2024-05-01 15:59 | 458 | |
| LTBSampleInput3.txt | 2024-05-01 15:59 | 412 | |
| LAT3a.lop | 2024-05-01 15:59 | 378 | |
| GRP001-1_natural.lop | 2024-05-01 15:59 | 338 | |
| all_rules.p | 2024-05-01 15:59 | 330 | |
| HUMBLE.lop | 2024-05-01 15:59 | 303 | |
| ans_test03.p | 2024-05-01 15:59 | 201 | |
| filters2.txt | 2024-05-01 15:59 | 190 | |
| ans_test01.p | 2024-05-01 15:59 | 184 | |
| ans_test02.p | 2024-05-01 15:59 | 109 | |
| ans_test04.p | 2024-05-01 15:59 | 88 | |
| split_test.p | 2024-05-01 15:59 | 34 | |