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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]associativity1.p2024-10-04 18:21 223  
[TXT]associativity2.p2024-10-04 18:21 223  
[TXT]left_identity.p2024-10-04 18:21 128  
[TXT]left_inverse.p2024-10-04 18:21 136  
[TXT]product_substitution3.p2024-10-04 18:21 194  
[TXT]total_function1.p2024-10-04 18:21 143  
[TXT]total_function2.p2024-10-04 18:21 188  

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