お知らせ 「ESET INTERNET SECURITY」利用環境下での 不具合修正のお知らせ

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

Feb

27

第108回 ProofCafe

名古屋Coq勉強会

Registration info

Description

萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の6章を読んでいきます。

可能ならば GitLab のアカウントを用意しておいてください。

参加をご希望のかたは、管理者までお問い合わせください。

以上

Feed

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

01/31/2021 14:45

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

01/31/2021 14:45

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

01/31/2021 14:45

SUHARA Hiromichi

SUHARA Hiromichi published 第108回 ProofCafe.

01/23/2021 16:55

第108回 ProofCafe を公開しました!

Group

ProofCafe

Number of events 74

Members 52

Ended

2021/02/27(Sat)

13:30
15:30

Registration Period
2021/01/23(Sat) 16:54 〜
2021/02/27(Sat) 15:30

Location

オンライン(skype)

オンライン(skype)