Narya ProofGeneral Setup

Owen Lynch

Tue Sep 03 2024

If anyone is interested in trying out narya but couldn’t get the emacs extension installed, and happens to be running doom emacs, the following snippet in packages.el in my .doom.d did the trick:

(package! proof-general
  :recipe
  (
   :host github
   :repo "olynch/PG"
   :files (:defaults "CHANGES" "AUTHORS" "COPYING"
                     "generic" "images" "lib"
                     ("coq" "coq/*.el") "narya"
                     "easycrypt" "phox" "qrhl")))