Index of /Proposals/InterpretationsModels/HappyModels/MODELS/LCL

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]LCL975_1.001_model.txt2025-08-31 09:49 460  
[TXT]LCL975_1.005_model.txt2025-08-31 15:03 1.6K 
[TXT]LCL975_1.009_model.txt2025-08-31 15:01 4.2K 
[TXT]LCL975_1.013_model.txt2025-08-31 14:57 8.2K 
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443