qnighyさんのCoq演習2014(仮) http://qnighy.github.io/coqex2014/ をこつこつ解く