Index of /CASC/24/TrainingData.HOL
Name
Last modified
Size
Description
Parent Directory
-
Problems/
2024-10-04 17:56
-
Axioms/
2024-10-04 17:56
-
Solutions/
2024-10-04 17:56
-
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443