お絵描きやプログラミングやアーマードコアについて綴っていくつもりです。プログラミングは備忘録的に使うつもりだったりする。
プロフィール

typeすつーか

Author:typeすつーか
FC2ブログへようこそ!

最新トラックバック
カウンターです
ついったー

広告とか

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
--/--/-- --:-- スポンサー広告 TB(-) CM(-)
TLでやたらとCoqが流行ってたので。


定理証明支援器であるらしいことは有名である。








ためしに私の環境でも

brew install coq


....あ、入った....( д )



brewcoq.png

なんなんだこのビールジョッキは.....。





検索したら参考サイトもいくつか出てきた

Coqで独習するならどのページがいい?と聞かれたときのメモ




スポンサーサイト
2013/01/25 17:13 Coq TB(0) CM(0)
コメント















 管理者にだけ表示を許可する

トラックバック
http://stukacoding.blog.fc2.com/tb.php/30-6db697a1
検索フォーム
ブロとも申請フォーム
QRコード
QR
IPv4枯渇時計
linuxコマンド
ぶくろぐ
本棚です
icat
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。