なぜかCoqのサイトやOCamlのサイトなどが見れない。 困った。同じようなページが↓にあるようだ。とりあえず、ここを参考にしよう。 http://pauillac.inria.fr/coq/coq-eng.html
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。