Formal Methods Forum 形式手法について広く深く研究する会です。 勉強会 参考資料Coq勉強資料:Certified Programming with Dependent Types Event-B勉強資料:Slides and Rodin Platform archives of the developments corresponding to chapters of the books Coq Coqインストール Coq参考資料 Certified Programming with Dependent Types関係 Coq命題論理の証明 Coqで数独 SPIN SPINインストール リンク集:関連しそうな話へのリンク集
![fm-forum @ ウィキ](https://cdn-ak-scissors.b.st-hatena.com/image/square/45c4684c76601e94abbe94966d9d5a26153b8fbd/height=288;version=1;width=512/https%3A%2F%2Fimg.atwiki.jp%2F_img%2Fog_image.png)