http://atnd.org/events/15236てわけで、5/21 13:00-19:00開催です。 2章章末の演習からスタート。演習の理解を助ける資料調査とかしてくると、楽しめると思います。

http://www.bookshelf.jp/soft/meadow_30.html#SEC404Proof General を使っていると、画面を左右に分けたいときがある。 特に、長い証明なのに上下分割されると画面がもったいない。と思っていたら@yam6daさんから、上記のelispの紹介があった。 すばらしい。