ejgallego
6,619
reputation
1
13
28
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!