Distribute in Melpa package-archive

[emeinhardt]

Per the [ nix-doom-emacs install instructions thread]https://github.com/leanprover/lean4-mode/issues/15#issuecomment-1156172981), I'd like to request that lean4-mode be added to melpa.

[bollu]

@Kha I opened a draft PR over at melpa to add lean4-mode: https://github.com/melpa/melpa/pull/8106 . Does this work for you?

[Kha]

Great, thanks!

[akirak]

There are many change requests in the PR. If you are interested, I can help you with resolving those warnings.

[juhp]

BTW from the readme one gets the impression that the package is already in Melpa which is not the case.... quite confusing.

[t-c-acc]

Thought this should be mentioned here: melpa/melpa#9098