PROVER Англо-русский перевод PROVER средство доказательства automatic theorem prover program correctness prover (полиграфия) снимающий пробный оттиск New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011