この記事は Theorem Prover Advent Calendar 2014 の5日目の記事です。昨日は notogawa さんの ブラウザ上でAgdaを試せるサイトを作ってみた でした。T…