a healthy person on whom a homeopathic remedy is tested for effectiveness
Examples of 'prover' in a sentence
prover
These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget.
Sol Swords, Jared Davis 2015, 'Fix Your Types', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1509.06079v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Proving a property involves (1) figuring out why it holds, then (2) coaxing the theorem prover into believing it.
Sol Swords, Jared Davis 2011, 'Bit-Blasting ACL2 Theorems', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1110.4676v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)