Which quote is better?
I am improving the coq
Dijkstra smoked and is dead, Hoare is still alive
You have voted 0 times
