Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ044-1/VerificationProblems/E-SAT---3.0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]truthtellers_tell_truth.p2024-10-04 18:28 238  
[TXT]truthteller_or_liar.p2024-10-04 18:28 153  
[TXT]truths_are_told_by_truthtellers.p2024-10-04 18:28 246  
[TXT]not_both.p2024-10-04 18:28 146  
[TXT]liars_lie.p2024-10-04 18:28 198  
[TXT]liars_are_told_by_liars.p2024-10-04 18:28 208  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443