Coqの最近のブログ記事

WindowsにCoq

| コメント(0) | トラックバック(0)
WindowsにもCoqを入れてみた。

そして、コケたのでメモ
Coq8.3pl2のwindows版を
からダウンロード、手順に従えば無事インストール完了。

emacsからこれを使うための設定

ProofGeneralを使うためにはemacsのバージョンに制限があるらしい

Emacs 22.3.1はサポートして無いよう
の下のほうからダウンロード
(注:新しすぎてもダメなよう 自分の環境ではemacs-23.3-rc1でもダメだった。他のバージョンは未確認)

下はProofGeneralの場所によって変更して、.emacsファイルに追加する。

(load-file "C:/SecondDisc/emacs/ProofGeneral/generic/proof-site.el")


emacsの設定中¥は/でいいみたいなのでこちらを採用

うまくいったことを確認するには適当にファイルvファイルを開いておじさんの絵が出てくればOk。
(Verilogファイルと間違えたりした場合は M-x coq-mode で変更できる)


プロフィール

おぬし(onuxy)

  • 「引きこもり」+「厨二病」+「コミュ障」の3称号を持つ男
  • 座右の銘は「働いたら負け!!」
  • 日々の生活を楽にするために全力で活動中

このアーカイブについて

このページには、過去に書かれたブログ記事のうちCoqカテゴリに属しているものが含まれています。

次のカテゴリはVisualStudioです。

最近のコンテンツはインデックスページで見られます。過去に書かれたものはアーカイブのページで見られます。

ウェブページ

Powered by Movable Type 6.2.2