Index of /CASC/J10/LTBSampleProblems/Axioms

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]HL4002+5.ax2024-10-04 18:10 2.0K 
[   ]HL4001+2.ax2024-10-04 18:10 2.1K 
[   ]HL4002^5.ax2024-10-04 18:10 2.4K 
[   ]HL4001_2.ax2024-10-04 18:10 2.4K 
[   ]HL4001^2.ax2024-10-04 18:10 2.8K 
[   ]HL4002_5.ax2024-10-04 18:10 2.9K 
[   ]HL4002^7.ax2024-10-04 18:10 3.2K 
[   ]HL4002+4.ax2024-10-04 18:10 7.7K 
[   ]HL4002_7.ax2024-10-04 18:10 9.3K 
[   ]HL4002^4.ax2024-10-04 18:10 14K 
[   ]HL4002_4.ax2024-10-04 18:10 17K 

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