Index of /~mptp/8.1.15_5.94.1493/MPTP2/MaLARea/script/malecop

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]AIAdvise.pm2025-09-07 22:13 26K 
[TXT]def_mm.pl2025-09-07 22:13 7.2K 
[   ]dnf2fof2025-09-07 22:13 433  
[TXT]dnf2fof.pl2025-09-07 22:13 5.2K 
[TXT]leancop21.pl2025-09-07 22:13 3.0K 
[TXT]leancop21_sic.pl2025-09-07 22:13 3.3K 
[TXT]leancop21_swi.pl2025-09-07 22:13 3.2K 
[TXT]leancop_dnf.pl2025-09-07 22:13 33K 
[TXT]leancop_dnf.sh2025-09-07 22:13 5.8K 
[TXT]leancop_main.pl2025-09-07 22:13 2.6K 
[TXT]leancop_proof.pl2025-09-07 22:13 7.7K 
[TXT]leancop_tptp2.pl2025-09-07 22:13 5.1K 
[TXT]leancopscale1.sh2025-09-07 22:13 6.6K 
[TXT]leancopscale_genlem.sh2025-09-07 22:13 6.7K 
[TXT]tcp_client.pl2025-09-07 22:13 767  
[TXT]tptp2leancop.pl2025-09-07 22:13 17K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80