Use "descriptive words" a lot? You can jump
right to this page by putting a "!" at the end of your search
right to this page by putting a "!" at the end of your search
Things prover often describes (“prover ________”)
protocols, systems, system, proofs, ever, verifier, tool
How prover often is described (“________ prover”)
automated, automatic, interactive, based, generic, mechanical, general, order, first, efficient, complete, propositional, honest, powerful, purpose, parallel, simple, inductive, critical, prepositional, standard, conventional, performance, theorem, compact, bidirectional, circumscriptive, underlying, external, temporal, female, final, type, equational, down, basic, style, classical, unidirectional, sequential, dry, intuitionistic, healthy, regular, environmental, multivalued, malicious, typical, heuristic, dishonest, multi, clausal, chaining, unguided, csp, modal, sophisticated, specialized, expansive, suitable, end, ideal, extended
Commonly used words are shown in bold. Rare words are dimmed.
Click on a word above to view its definition.
Click on a word above to view its definition.