2011-12-01 Theorem Proving Advent Calendar 2011 http://partake.in/events/30381166-394a-4fab-a5ea-5984d051de01みんなすごいなぁ。