Theorem prover: Difference between revisions
imported>Bot1058 m Task 6: remove disambiguation page from Category:Monitored short pages |
(No difference)
|
Latest revision as of 15:43, 30 December 2019
Theorem prover may refer to:
- Automated theorem prover
- Proof assistant, an interactive theorem prover