サクサク読めて、アプリ限定の機能も多数！
タグをすべて表示
タグの絞り込みを解除
ランキング
お知らせ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
1
Yoshihiro503 on Twitter: "@mzp ocamlを入れる→camlp5-6.08を入れる→coqをソースからインストールする、でもいけました。 #raspberrypi #coq"
Yoshihiro503 on Twitter: "@suharahiromichi @morita_hm 私もssreflect-1.4を新しい環境にインストールしました。 ocaml-4.01.0 (from source) camlp5-6.11 (from source) coq-8.4pl2 (from source)"
Yoshihiro503 on Twitter: "coq-8.4はocaml-4.00.0 とcamlp5-6.06がある環境で、ソースからインストールできる。 #有益なことをつぶやこう #coq #ocaml #camlp5"
