University of Cambridge
| Tool | Description |
|---|---|
| MetiTarski | MetiTarski is an automatic theorem prover based on a combination of resolution and a decision … |
| Tool | Description |
|---|---|
| MetiTarski | MetiTarski is an automatic theorem prover based on a combination of resolution and a decision … |