connpass - The IT meetup platform for building connections

Login/Sign Up

Proof Summit

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

Media (16)

Proof Summit 2019 View/Edit all Media

  • proof irrelevance.v · GitHub

    lion lion
  • ProofSummit 2019まとめ

  • AI for Isabelle/HOL

    YutakaNg YutakaNg
  • Mathcompで文字列を使う

    SUHARA Hiromichi SUHARA Hiromichi

Proof Summit 2018 View/Edit all Media

  • 依存型の話

  • ニコニコをCoqで証明してみた

Proof Summit 2017 View/Edit all Media

  • 定理証明 + 機械学習 = ?

  • 無条件に仮定にFalseを追加して、どんなサブゴールも消せるtactic作ったよ

    masterq masterq
  • 「The Little Prover」 の紹介

    SUHARA Hiromichi SUHARA Hiromichi

Proof Summit 2016 View/Edit all Media

  • dependent types in scala

    kdxu kdxu
  • JAXA/IPA クリティカルソフトウェアワークショップ 言語系発表とその後(今朝の版)

  • WOCSにおける言語系(一部自動車、安全を含む)発表一覧、このうちの特徴的なものの紹介資料作成中

    kaizen_nagoya kaizen_nagoya

Proof Summit 2015 View/Edit all Media

  • SAT/SMTソルバの仕組み

    msakai msakai
  • ATS/LF for Coq users

    masterq masterq
Proof Summit
Help Terms of Use Legal Privacy Policy Contact connpass
powered by connpass