http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011/doc/tutorial.pdfhttp://gist.github.com/958500うーむ、ぜんぜんわかってない。特殊記号の入力で手惑う。 Isabelles2011/etc/symbolsにProofGeneralが補完している特殊記号のテーブルがあ…

http://partake.in/events/dfc10138-1c40-449a-84eb-121944653e58というわけで、次回は6/4 13:00-19:00を予定しています。 Coq使いはだいぶ増えましたが、他のツール使いはどうだろう。

とりあえずメインのページつくった。 http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8懇親会はこちら。 http://partake.in/events/cb7c0530-0c46-4dd5-a945-032a2af46e1b懇親会は立食パーティ形式にして、LTでもやりましょうか。