2012-01-13から1日間の記事一覧
気になっていたところに Formal Methods Forum主催Coqチュートリアル#1があったので、どんなもんかと聞いてきました。 当日の資料もリンク先に挙がってますね。 受講者は8人くらい?来てました。 Formal Methods Forumの @tmiya_ さんが主に解説して @kenco…
気になっていたところに Formal Methods Forum主催Coqチュートリアル#1があったので、どんなもんかと聞いてきました。 当日の資料もリンク先に挙がってますね。 受講者は8人くらい?来てました。 Formal Methods Forumの @tmiya_ さんが主に解説して @kenco…