(Christianity) Resistant to the lessons in morality conveyed by sermons; unregenerate.

(humorous) Resistant to damage caused by soldiers.

(computing theory) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

(cryptography) An interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.

plural of probabilistically checkable proof

One can only claim that something is a success after it has been tried out or used.

plural of zero-knowledge proof

(transitive and intransitive) To check a written text for errors in spelling, grammar, syntax, and punctuation.

present participle of proofread

The act or process by which a document is proofread.