"I have welcomed the enormous increase in the power of automated tools for proof." As they say in Wikipedia, [Citation needed]. Which automated tools are these?

"I have welcomed the enormous increase in the power of automated tools for proof." As they say in Wikipedia, [Citation needed]. Which automated tools are these? Is Hoare referring to Coq? HOL? Something else?