第84回 ProofCafe
2019/02/16(土)14:30
〜
17:30
開催
ブックマーク
イベント内容
The Software Foundations
VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS
Smallstep から StlcProp までの復習をします。
TAPLと内容が重なるので、TAPLを持っている方は読んでおくとよいでしょう。
https://softwarefoundations.cis.upenn.edu/current/plf-current/
可能ならば Coq 8.7 以降 をインストールしたうえで、以下よりサンプルコードを入手しておいてください。
https://softwarefoundations.cis.upenn.edu/plf-current/index.html
インストール方法などについての質問も常に歓迎です。
以上
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。