The following pages link to (Q4809075):
Displayed 3 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)