ProofMovieTest

ProofMovieTest

定理証明器Coqを使った証明動画のテストです。完成品は sm1276083 です。

http://www.nicovideo.jp/watch/sm1212567

パソコンで再生が出来ない場合はここをクリックした後に[別窓]をクリック