Index of /Proposals/TableauxFormatProofs/WeidenbachExample

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]PaperFOF.p2025-08-28 15:31 469  
[TXT]PaperCNF.p2025-08-28 15:31 809  
[ ]PaperCNF.s2025-08-28 15:31 2.3K 
[ ]PaperFOF.s2025-08-28 15:31 3.9K 
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443