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

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 :-)