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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]zero_is_smallest.p2024-10-04 18:33 128  
[TXT]quotient_smaller_than_numerator.p2024-10-04 18:33 158  
[TXT]quotient_property.p2024-10-04 18:33 192  
[TXT]quotient_less_equal2.p2024-10-04 18:33 163  
[TXT]quotient_less_equal1.p2024-10-04 18:33 164  
[TXT]less_equal_and_equal.p2024-10-04 18:33 171  
[TXT]identity_is_largest.p2024-10-04 18:33 135  

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