Coq

Table of Contents

Coq

setup

install

$ brew install coq
$ brew install proof-general

Emacs

Caskファイルの編集

;; coq
(depends-on "proof-general")
$ cask install

emacsで拡張子が .v のファイルを開いてみる。

Validate