このエントリーをはてなブックマークに追加
第63回 ProofCafe

終了 2017/03/18（土） 14:30〜

第63回 ProofCafe

（開始時刻が02:30と表示されますが、14:30からです）

yoshihiro503 yoshihiro503 他

南区東又兵ヱ町5-1-10

グループ情報

ProofCafe

このグループのイメージ画像
メンバー数 52人
イベント数 92回

イベント資料一覧

スライド

スライドはありません。

動画

動画はありません。

ブログなど

(未設定)(未設定)

The Little Prover の memb?/remb をCoqで解いてみる

Read more >>

投稿者:SUHARA Hiromichi

投稿日:2017年3月11日 00時21分

(未設定)(未設定)

The Little Prover の memb?/remb をCoqで解いてみる（サブリスト版）

Read more >>

投稿者:SUHARA Hiromichi

投稿日:2017年3月18日 14時23分

(未設定)(未設定)

指摘された間違いを修正した版です。

Read more >>

投稿者:SUHARA Hiromichi

投稿日:2017年3月19日 11時29分