Proof Summit 2019 (2019/09/29 11:00〜)

定理証明支援系や自動証明器などに関するユーザーイベントです。オススメのツールを紹介したいという人も、どういうものか知りたいという人も大歓迎です。 日時 令和元年9月29日(日曜日) 場所: 株式会社朝日ネット セミナールーム ハッシュタグ #proofsummit 発表者募集 発表希望の方はここにコメントいただくか、 @2015fuj か @yoshihiro503 か @tmiya_ にご連絡ください。 発表予定 @blackenedgold 「Idrisの話とIdris2のウワサ」 @___yuni 「300行で作るproof assistant」 YutakaNg 「人工知能によるIsabelle/HOLの証明支援」 @yf0fyf 「Coqのベース体系の無矛盾性について（仮題）」 @suharahiromichi 「Mathcompで文字列を使う」 @2015fuj 「ProofI

[mukaken]

“定理証明系に関するユーザーイベント”日時 令和元年9月29日(日曜日) もうすでに定員オーバーになってた。