Arantium Maestum

プログラミング、囲碁、読書の話題

Spacemacs

spacemacsにcoq layerを入れた

四月はCoqとClojureをやっていきたい— zehnpaard (@zehnpaard) March 27, 2021 というわけでemacsでcoq環境を整備したのでメモ。 インストールが必要だったもの: coq proof general spacemacs-coq 前提として spacemacs opam は入っているものとする(opam…