• 1
    いいね
  • 1
    コメント

Advent Calendar 2016 Theorem Proverの最終日の記事です.

内容はライブコーディングしつつ説明した動画を公開します.

証明ではないのですが,Viewというテクニックについて説明しています.

動画を撮った時に書いたコードはそのままgithubで公開します.

この投稿は Theorem Prover Advent Calendar 201625日目の記事です。