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

Ended 2017/07/23（Sun） 11:00〜

Proof Summit 2017

定理証明系に関するユーザーイベントです。

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

Group Information

Proof Summit

Members 268 people
Number of events 5

Media List

スライド

SUHARA Hiromichi SUHARA Hiromichi

「The Little Prover」 の紹介

投稿者:SUHARA Hiromichi

投稿日:July 21, 2017, 9:01 p.m.

(未設定)(未設定)

定理証明　＋　機械学習　＝　？

投稿者:skyrunner_01

投稿日:July 26, 2017, 11:11 a.m.

動画

動画はありません。

ブログなど

masterq masterq

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

coqtactic-injectfalse - Custom tactic named "ij_injectfalse" injects False into the hypothesis

Read more >>

投稿者:masterq

投稿日:July 23, 2017, 5:25 p.m.