gentoo.mahdi.cz
app-emacs
:yasnippet-lean
Collection of snippets for the Lean prover
https://github.com/leanprover-community/yasnippet-lean
yasnippet-lean-20220105.2251
download
~amd64 ~x86
melpa