2011-04-22 Software Foundations : Lists.v Coq https://gist.github.com/936114証明=プログラムという感覚が不思議、かつおもしろい。