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

終了 2017/09/16（土） 14:30〜

第68回 ProofCafe

yoshihiro503 yoshihiro503 他

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

グループ情報

ProofCafe

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

イベント資料一覧

スライド

スライドはありません。

動画

動画はありません。

ブログなど

(未設定)(未設定)

レジュメに沿うように編集したソースコード

coq - Coq Code

Read more >>

投稿者:SUHARA Hiromichi

投稿日:2017年9月10日 23時33分

(未設定)(未設定)

改良番です。

coq - Coq Code

Read more >>

投稿者:SUHARA Hiromichi

投稿日:2017年9月14日 23時40分

(未設定)(未設定)

coqのProgramコマンドと、proj1_sig　関数の説明です。

coq - Coq Code

Read more >>

投稿者:SUHARA Hiromichi

投稿日:2017年9月16日 15時52分