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")))