第73回 ProofCafe
イベント内容
The Software Foundations
VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS
SMALL-STEP OPERATIONAL SEMANTICS の Relations からです。
https://softwarefoundations.cis.upenn.edu/plf-current/Smallstep.html#lab134
前回（初回）の復習から始めます。 可能ならば Coq 8.7 をインストールしたうえで、以下よりサンプルコードを入手しておいてください。
https://softwarefoundations.cis.upenn.edu/plf-current/index.html
インストール方法などについての質問も常に歓迎です。
以上
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
