Computer Scientist, Programmer, Musician.
Golden rule for Coq Programming: If you start to feel lots of pain in your proofs, you are likely doing it wrong!