Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV021-10/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]consistency_of_add_commutative.p2024-10-04 18:22 152  
[TXT]successor_is_injective.p2024-10-04 18:22 148  
[TXT]definition_add_s.p2024-10-04 18:22 144  
[TXT]ifeq_axiom.p2024-10-04 18:22 138  
[TXT]definition_add_0.p2024-10-04 18:22 124  
[TXT]zero_is_not_s.p2024-10-04 18:22 118  
Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443