ejgallego
6,709
reputation
1
14
29
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!