Index of /CASC/25/TrainingData.HLL/Axioms

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.58 (Ubuntu) Server at tptp.cs.miami.edu Port 80