![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AIAdvise.pm | 2025-09-07 22:13 | 26K | |
| def_mm.pl | 2025-09-07 22:13 | 7.2K | |
| dnf2fof | 2025-09-07 22:13 | 433 | |
| dnf2fof.pl | 2025-09-07 22:13 | 5.2K | |
| leancop21.pl | 2025-09-07 22:13 | 3.0K | |
| leancop21_sic.pl | 2025-09-07 22:13 | 3.3K | |
| leancop21_swi.pl | 2025-09-07 22:13 | 3.2K | |
| leancop_dnf.pl | 2025-09-07 22:13 | 33K | |
| leancop_dnf.sh | 2025-09-07 22:13 | 5.8K | |
| leancop_main.pl | 2025-09-07 22:13 | 2.6K | |
| leancop_proof.pl | 2025-09-07 22:13 | 7.7K | |
| leancop_tptp2.pl | 2025-09-07 22:13 | 5.1K | |
| leancopscale1.sh | 2025-09-07 22:13 | 6.6K | |
| leancopscale_genlem.sh | 2025-09-07 22:13 | 6.7K | |
| tcp_client.pl | 2025-09-07 22:13 | 767 | |
| tptp2leancop.pl | 2025-09-07 22:13 | 17K | |