gentoo.mahdi.cz
app-emacs
:helm-lean
Helm interfaces for lean-mode
https://github.com/leanprover/lean-mode
helm-lean-20210305.1705
download
~amd64 ~x86
melpa