Shippers and Theory Builders

"[&hellip;] the tools we are trying to use and the language or notation we are using to express or record our thoughts, are the major factors determining what we can think or express at all!" &ndash; Edsger W. Dijkstra, EWD340 (1972) Over a decade ago, when I was writing my master&rsquo;s thesis in computer science, on the topic of interactive theorem proving, my adviser shared the following…