Index of /Proposals/Archive/DependentTypes

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Problems.tgz2025-08-07 12:46 24K 
[ ]TypeChecks2025-03-28 10:08 12K 
[TXT]index.shtml2025-08-07 12:52 11K 
[DIR]Problems/2025-08-07 12:49 -  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443