Index of /~mptp/atp-proofs
Name
Last modified
Size
Description
Parent Directory
-
t2_irrat_1/
2019-06-16 12:50
-
t14_connsp_1/
2019-04-24 19:52
-
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80