Update README.md with doom emacs instructions - Githubissues

leanprover-community / lean4-mode

Emacs major mode for Lean 4

https://leanprover.github.io/

Apache License 2.0

64 stars 28 forks source link

Update README.md with doom emacs instructions #2

Closed adamtopaz closed 2 years ago

adamtopaz commented 2 years ago

As suggested on zulip https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/lean4-mode.20with.20nix-doom-emacs/near/270350730