proof assistant (Q6481103)
From MaRDI portal
software tool to assist with the development of formal proofs by human-machine collaboration
- interactive theorem prover
- theorem prover
- automated theorem prover
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | proof assistant |
software tool to assist with the development of formal proofs by human-machine collaboration |
|
