読者です 読者をやめる 読者になる 読者になる

にわとり小屋でのプログラミング ブログ

名古屋のCoqエンジニアです。日記は勘で書いてるところがあるので細かいとこが違うことがあります。

Coqのサイトが見れない

なぜかCoqのサイトOCamlのサイトなどが見れない。
困った。

同じようなページが↓にあるようだ。とりあえず、ここを参考にしよう。
http://pauillac.inria.fr/coq/coq-eng.html