Index of /CASC/J10/LTBSampleProblems

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]HL400001^4.p2024-10-04 18:10 56K 
[TXT]HL400001_4.p2024-10-04 18:10 56K 
[TXT]HL400001_7.p2024-10-04 18:10 37K 
[TXT]HL400001+4.p2024-10-04 18:10 33K 
[TXT]HL400001_5.p2024-10-04 18:10 23K 
[TXT]HL400001^5.p2024-10-04 18:10 19K 
[TXT]HL400001^7.p2024-10-04 18:10 13K 
[TXT]HL400001+5.p2024-10-04 18:10 9.9K 
[DIR]Axioms/2024-10-04 18:10 -  

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