Index of /CASC/24/TrainingData.HOL/Problems

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]HOL132+1.p2024-10-04 17:56 11K 
[TXT]HOL122+1.p2024-10-04 17:56 4.2K 
[TXT]HOL134+1.p2024-10-04 17:56 13K 
[TXT]HOL124+1.p2024-10-04 17:56 7.1K 
[TXT]HOL129+1.p2024-10-04 17:56 9.3K 
[TXT]HOL125+1.p2024-10-04 17:56 8.6K 
[TXT]HOL133+1.p2024-10-04 17:56 12K 
[TXT]HOL123+1.p2024-10-04 17:56 6.1K 
[TXT]HOL138+1.p2024-10-04 17:56 19K 

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443