yep, the fact that computer sciences spend a lot of time on pen/paper/board and brings proofs without actually program them doesn't mean that CS researchers are not interested in code. Code is their ultimate goal, but it's an implementation detail :-)
That certainly isn't my interpretation of the quote (unless you're thinking of a different quote than the one I'm familiar with)
The quote I know is: "Computer Science is no more about computers than astronomy is about telescopes."