lean4-mode
lean4-mode copied to clipboard
Add install instructions for *nix*-doom-emacs that use emacsPackagesOverlay
Per this zulip thread on nix-specific papercuts in packaging lean4-mode for (doom-)emacs.
I've erred on the side of being verbose; plausibly lines 52-69 are really all that's needed in the code snippet.