第16回Formal Methods勉強会

http://partake.in/events/dfc10138-1c40-449a-84eb-121944653e58

というわけで、次回は6/4 13:00-19:00を予定しています。
Coq使いはだいぶ増えましたが、他のツール使いはどうだろう。