3 ms·

Retrospective: An Axiomatic Basis for Computer Programming

14 points by Tatyanazaxarova 15y ago

ChristianMarks 15y ago
"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?