Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/NUM286-1/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]adding_zero.p2024-10-04 18:22 126  
[TXT]times_zero.p2024-10-04 18:22 131  
[TXT]addition.p2024-10-04 18:22 159  
[TXT]times.p2024-10-04 18:22 162  
[TXT]successor_equality1.p2024-10-04 18:22 178  
[TXT]successor_substitution.p2024-10-04 18:22 181  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443