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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]HOL001+0.ax2024-10-04 17:56 3.0K 
[   ]HOL002+0.ax2024-10-04 17:56 15K 
[   ]HOL003+0.ax2024-10-04 17:56 2.6K 
[   ]HOL004+0.ax2024-10-04 17:56 12K 
[   ]HOL005+0.ax2024-10-04 17:56 3.9K 
[   ]HOL006+0.ax2024-10-04 17:56 27K 
[   ]HOL007+0.ax2024-10-04 17:56 6.9K 
[   ]HOL008+0.ax2024-10-04 17:56 85K 
[   ]HOL009+0.ax2024-10-04 17:56 47K 
[   ]HOL010+0.ax2024-10-04 17:56 23K 
[   ]HOL011+0.ax2024-10-04 17:56 71K 
[   ]HOL012+0.ax2024-10-04 17:56 116K 
[   ]HOL013+0.ax2024-10-04 17:56 8.4K 
[   ]HOL014+0.ax2024-10-04 17:56 9.8K 
[   ]HOL015+0.ax2024-10-04 17:56 120K 
[   ]HOL016+0.ax2024-10-04 17:56 6.8K 
[   ]HOL017+0.ax2024-10-04 17:56 121K 
[   ]HOL018+0.ax2024-10-04 17:56 322K 
[   ]HOL019+0.ax2024-10-04 17:56 314K 
[   ]HOL020+0.ax2024-10-04 17:56 29K 
[   ]HOL021+0.ax2024-10-04 17:56 212K 
[   ]HOL022+0.ax2024-10-04 17:56 45K 
[   ]HOL023+0.ax2024-10-04 17:56 104K 
[   ]HOL024+0.ax2024-10-04 17:56 61K 
[   ]HOL025+0.ax2024-10-04 17:56 828K 
[   ]HOL026+0.ax2024-10-04 17:56 81K 
[   ]HOL027+0.ax2024-10-04 17:56 38K 
[   ]HOL028+0.ax2024-10-04 17:56 33K 
[   ]HOL029+0.ax2024-10-04 17:56 219K 
[   ]HOL030+0.ax2024-10-04 17:56 1.6M 
[   ]HOL031+0.ax2024-10-04 17:56 750K 
[   ]HOL032+0.ax2024-10-04 17:56 657K 
[   ]HOL033+0.ax2024-10-04 17:56 300K 
[   ]HOL034+0.ax2024-10-04 17:56 17K 
[   ]HOL035+0.ax2024-10-04 17:56 271K 
[   ]HOL036+0.ax2024-10-04 17:56 314K 
[   ]HOL037+0.ax2024-10-04 17:56 1.5M 
[   ]HOL038+0.ax2024-10-04 17:56 565K 

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