gentoo.mahdi.cz
app-emacs
:company-lean
A company backend for lean-mode
https://github.com/leanprover/lean-mode
company-lean-20210305.1705
download
~amd64 ~x86
melpa