新着投稿動画
新着コメント動画
MP3変換
使い方
ProofMovieTest
ツイート
シェアする
2007/10/06 10:42:25 投稿
再生数:271
マイリスト数:2
定理証明器Coqを使った証明動画のテストです。完成品は
sm1276083
です。
http://www.nicovideo.jp/watch/sm1212567
科学
百
Coq
百
Formel
百
別窓再生
全画面再生
動画保存
投稿動画