 |
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
|
Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
|
This is the complete list of members for tptp_parser::infix_struct, including all inherited members.
| connective (defined in tptp_parser::infix_struct) | tptp_parser::infix_struct | |
| left (defined in tptp_parser::infix_struct) | tptp_parser::infix_struct | |
| right (defined in tptp_parser::infix_struct) | tptp_parser::infix_struct |
1.10.0