Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/HEN013-3/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]divide_and_equal.p2024-10-04 18:32 171  
[TXT]identity_is_largest.p2024-10-04 18:32 138  
[TXT]quotient_property.p2024-10-04 18:32 195  
[TXT]quotient_smaller_than_numerator.p2024-10-04 18:32 161  
[TXT]zero_is_smallest.p2024-10-04 18:32 131  

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