Index of /Proposals/InterpretationsModels

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]HappyModels/2025-09-15 16:27 -  
[DIR]ModelExamples/2025-10-30 14:34 -  
[DIR]ModelExamplesWithTypePromotion/2025-09-01 12:35 -  
[DIR]SaturationProofs/2024-10-04 18:34 -  
[TXT]index.shtml2025-10-30 14:22 37K 
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443